BryghtWords / rules_idrisLinks
Idris rules for Bazel
☆13Updated 6 years ago
Alternatives and similar repositories for rules_idris
Users that are interested in rules_idris are comparing it to the libraries listed below
Sorting:
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 6 years ago
- A tiny implementation of dependent types.☆11Updated 7 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Agda suffices: software written from A to Z in Agda☆16Updated 6 years ago
- ☆23Updated 7 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Updated 6 months ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Effectful Streaming for Idris☆14Updated 4 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- Extensible records for Idris☆26Updated 3 years ago
- ☆23Updated 8 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Synchronous programming in Haskell☆17Updated 4 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 4 years ago
- Type Theory in Type Theory using Cubical Agda☆13Updated 6 years ago
- Purescript rules for Bazel☆11Updated 5 years ago
- Haskell: Monorepo for our open source packages☆17Updated 7 years ago
- Dhall support for directed graphs with labeled vertices☆19Updated 3 years ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- Idris GraphQL☆16Updated 7 years ago
- SubML (prototype) language☆23Updated 3 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 5 years ago
- A crowd-sourced list of papers using Idris☆8Updated 3 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Updated 6 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- OCaml backend for Idris2☆19Updated 4 years ago