Our great sponsors
uhc-light | wyvern | |
---|---|---|
2 | 5 | |
136 | 551 | |
0.0% | 0.0% | |
0.0 | 0.0 | |
over 2 years ago | about 1 year ago | |
Haskell | Java | |
BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 only |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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
Posts with mentions or reviews of uhc-light.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-07-23.
-
Are there composable compilers?
The UHC Haskell compiler was written in a composable, or at least extensible, way using attribute grammars.
wyvern
Posts with mentions or reviews of wyvern.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-07-21.
- Wyvern: A Language for Usable Design Driven Assurance (2017)
-
Languages with extensible syntax?
Nemerle, Wyvern, Kernel
-
Are there composable compilers?
Take a look at Wyvern.
- Extensible syntax?
-
Capability systems
Check out Wyvern! It has capabilities and a notion of capability saftey, as detailed in this paper. I believe Wyvern's approach is basically exactly what you're describing.
What are some alternatives?
When comparing uhc-light and wyvern you can also consider the following projects:
AlgorithmW - Example implementation of Algorithm W for Hindley-Milner type inference
rumi - The rumi compiler
gipeda - Git Performance Dashboard
Pipefish - Source code for the Pipefish programming language
monad-log - A fast simple logging monad.
unseemly - Macros have types!
uhc-util - Utilities required by UHC (Utrecht Haskell Compiler)
Hungaro - A syntax based programming language
bumper - Haskell tool to automatically bump package versions transitively.
ww - A "lexerless" (unified lexer) LALR(1) parser generator supporting dynamic grammar modification
clone-all - clone all the github repositories of a particular user.
Nemerle - Nemerle language. Main repository.