Our great sponsors
| wyvern | uhc-light | |
|---|---|---|
| 5 | 2 | |
| 551 | 136 | |
| 0.0% | 0.0% | |
| 0.0 | 0.0 | |
| about 1 year ago | over 2 years ago | |
| Java | Haskell | |
| GNU General Public License v3.0 only | BSD 3-clause "New" or "Revised" License |
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.
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.
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.
What are some alternatives?
When comparing wyvern and uhc-light you can also consider the following projects:
rumi - The rumi compiler
AlgorithmW - Example implementation of Algorithm W for Hindley-Milner type inference
Pipefish - Source code for the Pipefish programming language
gipeda - Git Performance Dashboard
unseemly - Macros have types!
monad-log - A fast simple logging monad.
Hungaro - A syntax based programming language
uhc-util - Utilities required by UHC (Utrecht Haskell Compiler)
ww - A "lexerless" (unified lexer) LALR(1) parser generator supporting dynamic grammar modification
bumper - Haskell tool to automatically bump package versions transitively.
Nemerle - Nemerle language. Main repository.
clone-all - clone all the github repositories of a particular user.