lawvere
A categorical programming language with effects (by jameshaydon)
brainbreak
BrainFuck REPL, Interpreter and compiler. (by s3rius)
| lawvere | brainbreak | |
|---|---|---|
| 6 | 1 | |
| 262 | 11 | |
| - | - | |
| 0.0 | 0.0 | |
| about 1 year ago | about 3 years ago | |
| Haskell | Haskell | |
| MIT License | 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.
lawvere
Posts with mentions or reviews of lawvere.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-04-26.
- Lawvere: A categorical programming language with effects
-
Red and blue functions are a good thing
I don't really know much about this area, but there's a language literally called Lawvere.
https://github.com/jameshaydon/lawvere
- Lawvere: a new member of the categorical branch of the concatenative family
-
Lawvere - a categorical programming language with effects
Yes that is absolutely the idea. Even for pure-programming, the idea is to define categories via sketches, to define functors between the generated theories, and to use this to somewhat solve the extension problem. This is somewhat explained here: https://github.com/jameshaydon/lawvere/blob/master/examples/presentation.law.md but I'll pad it out soon.
brainbreak
Posts with mentions or reviews of brainbreak.
We have used some of these posts to build our list of alternatives
and similar projects.
What are some alternatives?
When comparing lawvere and brainbreak you can also consider the following projects:
unison - A friendly programming language from the future
repline - Haskeline wrapper for GHCi-like REPL interfaces
fp - A small, weird and unpractical programming language.
discokitty - An educational implementation of some aspects of the DisCoCat framework
kitten - A statically typed concatenative systems programming language.
hint - Runtime Haskell interpreter [Moved to: https://github.com/haskell-hint/hint]
rfcs - RFCs for changes to Rust
pocl - Predictive Optimizing Code Loading
trans-fx-core - Monadic effects in Haskell with transformer transformers