bvssvni / rust-idris-fs
An attempt at writing C libraries in Rust that can be called from Idris
☆22Updated 8 years ago
Related projects: ⓘ
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- System POSIX bindings for Idris.☆35Updated 5 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Updated 6 years ago
- cargo +nightly build☆34Updated 5 years ago
- ☆13Updated 6 years ago
- ☆63Updated this week
- Generate Purescript types from your Rust types. (unmaintained)☆41Updated 6 years ago
- A proper network library for Idris, now that I know what I'm doing.☆57Updated 7 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 6 years ago
- Idris LLVM codegen factored out☆78Updated 7 years ago
- A partial implementation of Protocol Buffers in Idris☆29Updated 7 years ago
- Abstract binding tree code generator☆36Updated 7 years ago
- ☆34Updated 5 years ago
- re-startable monad that recover the execution state from a log, and workflow patterns☆42Updated 8 years ago
- Yes, it is what you think it is☆33Updated 8 years ago
- SDL2 Bindings for the Idris programming language☆10Updated 4 years ago
- Category Theory☆18Updated 5 years ago
- TOML file format parser in Haskell☆38Updated 2 years ago
- 2048 in Idris☆121Updated 6 years ago
- The Alms Programming Language☆43Updated 6 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 4 years ago
- ☆18Updated this week
- SDL bindings package for idris☆46Updated 4 years ago
- build tool and package manager for idris,in idris,with free monads☆34Updated 5 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 7 years ago
- Extensible records for Idris☆26Updated 3 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- A port of QuickCheck to Idris☆57Updated 6 years ago