Skip to content

Directory
Collections
Search issues
Submit

ucsd-progsys/

liquidhaskell

Liquid Types For Haskell

Start here

1Read the READMENo CONTRIBUTING guide yet
2Good first issues38 open issues on GitHub
3All issuesEverything that's open

Open issues, live

Unassigned, straight from GitHub

Facts

Stars: 1,334
Forks: 165
License: BSD-3-Clause
Last commit: 2w ago
Replies in: ~26h
Good first issues: 38
Help wanted: 0
Language: Haskell

Topics: #haskell #refinement-types #smt #verification

Why this score

77 out of 100 contributor score, very welcoming

Very welcoming to new contributors, out of 100.

Issues to pick from25/25
38 open good first issues
Recent activity16/20
Last commit 2 weeks ago
Maintainer replies15/15
Maintainers usually reply in ~26h
Onboarding2/15
No CONTRIBUTING guide and a clear description
Up for grabs14/15
19 of the 20 newest good first issues are unassigned
Reach5/10
1.3K stars, so your work gets seen

First-PR friendly needs:

Met: Score of 60 or more
Met: At least 3 good first issues
Not met: A CONTRIBUTING guide
Met: Replies within 3 days

Flag this repo (wrong data, not welcoming, gone)

Directory

All repos
Collections
Search issues
Submit a repo
RSS feed

Languages

C++
Python
Go
Rust
TypeScript
Java
JavaScript
C
C#
PHP
HTML
Kotlin
Scala
Swift

Fields

DevOps & Cloud
Machine Learning & AI
Web Frontend
Databases
OS & Systems
Networking
Backend & APIs
Security
Compilers & Languages
Graphics
Mobile
Data Science
CLI Tools
Editors & DevTools
Observability
Embedded & IoT
Game Dev
Scientific Computing
Blockchain & Web3
Testing & QA
Docs Tooling
Accessibility

OpenSrcStitch yourself into open source. Built on the GitHub search API, not affiliated with GitHub.

/ search↵ findesc close