Our great sponsors
| uhc-light | unseemly | |
|---|---|---|
| 2 | 4 | |
| 136 | 128 | |
| 0.0% | - | |
| 0.0 | 0.0 | |
| over 2 years ago | about 1 year ago | |
| Haskell | Rust | |
| BSD 3-clause "New" or "Revised" License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
uhc-light
-
Are there composable compilers?
The UHC Haskell compiler was written in a composable, or at least extensible, way using attribute grammars.
unseemly
-
Peridot: A functional language based on two-level type theory
Did you take a look at paul stansifer's unseemly? https://github.com/paulstansifer/unseemly cc /u/paul_stansifer
-
How do you typecheck a macro?
You could look at how https://github.com/paulstansifer/unseemly/ does it
-
Are there composable compilers?
Other projects not mentioned yet in this area are GraalVM and unseemly by Paul Stansifer https://github.com/paulstansifer/unseemly
- Thoughts on "Kirby" languages, a lang that can execute any other lang?
What are some alternatives?
coalton - Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
AlgorithmW - Example implementation of Algorithm W for Hindley-Milner type inference
gipeda - Git Performance Dashboard
monad-log - A fast simple logging monad.
uhc-util - Utilities required by UHC (Utrecht Haskell Compiler)
bumper - Haskell tool to automatically bump package versions transitively.
clone-all - clone all the github repositories of a particular user.
bliplib - A bytecode compiler for Python 3
semdoc - Evaluate code snippets in Literate Haskell
castle - A tool to manage shared cabal-install sandboxes.
aith - [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.
bitflags - A macro to generate structures which behave like bitflags