idris-sandbox
Idris Sandbox (by mbrodersen)
recombine
By avidela
idris-sandbox | recombine | |
---|---|---|
1 | 1 | |
7 | - | |
- | - | |
10.0 | - | |
over 6 years ago | - | |
Idris | ||
- | - |
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.
idris-sandbox
Posts with mentions or reviews of idris-sandbox.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-01-24.
-
Idris 2: Quantitative Type Theory in Practice
Here is an example of a tiny toy compiler proven correct in Idris. It is a small example of the kind of cool things you can do in Dependently Typed languages: https://github.com/mbrodersen/idris-sandbox/blob/master/comp...
recombine
Posts with mentions or reviews of recombine.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-01-24.
-
Idris 2: Quantitative Type Theory in Practice
- my own projects in idris include a purely declarative server library where you give the API and the server is completely implemented and instantiated from your description https://gitlab.com/avidela/recombine
What are some alternatives?
When comparing idris-sandbox and recombine you can also consider the following projects:
smalltt - Demo for high-performance type theory elaboration
Idris2 - A purely functional programming language with first class types