🌊
Working
Block or Report
Block or report TimDeve
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Haskell
Sort by: Most stars
2
stars
written in Haskell
Clear filter
A statically typed lisp, without a GC, for real-time applications.
A dependently-typed programming language with static memory management