brainrake / responsibleLinks
Idris 2 HTTP Api Server
☆15Updated 3 years ago
Alternatives and similar repositories for responsible
Users that are interested in responsible are comparing it to the libraries listed below
Sorting:
- ☆30Updated last week
- Package manager for Idris☆37Updated 3 years ago
- Harmonize with coworkers around GitHub reviewing.☆23Updated last week
- Javascript DOM bindings for Idris2☆54Updated 3 months ago
- Command line interface library in Idris☆33Updated last year
- Provably total, tail-call optimized monadic recursion in Idris2☆14Updated 2 years ago
- A beginner's guide to Haskell optimization☆65Updated 8 years ago
- A TOML parser for Idris 2☆17Updated last year
- Lua backend for Idris 2☆28Updated 3 years ago
- Inigo: A Package Manager for Idris2☆62Updated 3 years ago
- ☆21Updated 8 months ago
- ☆55Updated 5 years ago
- A portable idris2 implementation of TLS☆32Updated last year
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated last year
- Idris port of Haskell's sop-core library☆37Updated 5 months ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated 2 years ago
- Browsing man pages and help pages with zero friction.☆35Updated 7 years ago
- Cap'n Proto for Haskell☆94Updated 2 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Updated 11 months ago
- Haskell bindings to binaryen.☆14Updated 4 years ago
- A Python backed for Idris 2☆29Updated 2 months ago
- Manage your Containerfile with Dhall.☆33Updated 4 years ago
- A Rust implementation of the Lean kernel☆11Updated 3 years ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆70Updated this week
- The Yatima Standard Library☆20Updated 2 years ago
- A structural editor for JSON values☆77Updated 3 years ago
- Data frames for Idris 2☆23Updated 3 years ago
- ☆18Updated last year
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- Polymorphic guarded λ-calculus☆22Updated 6 months ago