cruxlang / cruxLinks
Crux Programming Language
☆52Updated 3 years ago
Alternatives and similar repositories for crux
Users that are interested in crux are comparing it to the libraries listed below
Sorting:
- a simple functional language for learners☆30Updated 8 years ago
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Updated 2 years ago
- The LVish Haskell library☆80Updated 2 years ago
- ☆41Updated 7 years ago
- IO for Elm☆29Updated 9 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 2 years ago
- ☆35Updated 5 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Example row-polymorphism implementations☆61Updated last year
- Yes, it is what you think it is☆33Updated 9 years ago
- A programming language that runs in Haskell's type system.☆253Updated 9 years ago
- An Elm library for creating diagrams, inspired by Brent Yorgey's Diagrams library for Haskell.☆44Updated 8 years ago
- Experimental Malfunction backend for Idris☆82Updated 6 years ago
- Parsers for various configuration files written in Idris.☆20Updated 7 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 7 years ago
- PureScript compiler written in PureScript (On hold / inactive)☆61Updated 10 years ago
- A small implementation of type inference☆78Updated 10 years ago
- QuickCheck extras.☆29Updated 5 years ago
- An implementation of the Core language☆30Updated 9 years ago
- A semantic highlighter for Idris code☆14Updated 7 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Get the Haskell documentation of a name from a module☆31Updated 6 years ago