IdrisCompiler reviews and mentions
Posts with mentions or reviews of IdrisCompiler.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-08-28.
- How to handle negative input when only dealing with natural numbers?
-
Stack machines
I have made a compiler for a stack machine in Idris. It uses dependent types so it should be safe. It can be seen here: https://github.com/marouan-itu/IdrisCompiler/blob/main/IdrCompVect.idr
Stats
Basic IdrisCompiler repo stats
3
3
0.0
over 1 year ago
The primary programming language of IdrisCompiler is Idris.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com