Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Vole | 19 | 9 years ago | bsd-3-clause | Haskell | ||||||
being a funny little programming language with a funny little abstract machine | ||||||||||
Elements | 14 | 9 | 4 months ago | 299 | November 14, 2023 | Java | ||||
Faster and more concise than Spring and J2EE | ||||||||||
Apocalisp | 10 | a year ago | bsd-2-clause | Go | ||||||
MAL(make a lisp) interpreter written in Go. | ||||||||||
Ctlsat | 8 | 4 years ago | mit | C++ | ||||||
CTL (Computation Tree Logic) SAT solver |