a project manage tool for Idris
☆17Aug 24, 2016Updated 9 years ago
Alternatives and similar repositories for idringen
Users that are interested in idringen are comparing it to the libraries listed below
Sorting:
- Work on type class deriving with elaboration reflection☆32Sep 9, 2018Updated 7 years ago
- Idris for Visual Studio Code☆106May 13, 2022Updated 3 years ago
- Event-driven bidirectional channels☆14Feb 17, 2016Updated 10 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- A toy turtle graphics interpreter based on the Free monad, in PureScript, with HTML Canvas graphics support.☆16Oct 1, 2020Updated 5 years ago
- Recursion schemes for Idris☆64Aug 23, 2018Updated 7 years ago
- Demonstrate calling Rust functions from Elixir using Erlang NIF interface☆16Jan 18, 2016Updated 10 years ago
- literate-style programming for purescript☆22Dec 5, 2018Updated 7 years ago
- A Computer Algebra System written in and for Haskell☆26Jul 10, 2016Updated 9 years ago
- PouchDB Bindings for PureScript☆24Oct 9, 2018Updated 7 years ago
- Auto-generate a server for your datatype☆30Sep 4, 2022Updated 3 years ago
- Simple Bindings to Websocket API for Purescript☆34Feb 9, 2021Updated 5 years ago
- xmonad with the X11 abstracted and configured with Idris☆209May 31, 2019Updated 6 years ago
- Parser combinators for Idris☆244Apr 11, 2019Updated 6 years ago
- Pure functional parser combinator library which supports both applicative and monadic styles of parsing.☆32Sep 20, 2021Updated 4 years ago
- CODO is an ontology for the semantic representation and annotation of COVID-19 data in a machine-readable form for tracking history of th…☆10Apr 19, 2022Updated 3 years ago
- ProvenDB Open Source Verification CLI☆13Mar 16, 2023Updated 2 years ago
- Implementation of cryptographic primitives using Idris☆123May 5, 2018Updated 7 years ago
- Probabilistic computation in Idris☆33Jul 2, 2019Updated 6 years ago
- WebAssembly Code Generation Backend for Idris Compiler☆82Jun 26, 2018Updated 7 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Jun 14, 2018Updated 7 years ago
- An sbt plugin for adding sounds to task completions☆28May 5, 2018Updated 7 years ago
- ☆18Mar 6, 2013Updated 13 years ago
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Feb 16, 2026Updated 2 weeks ago
- An example of writing an AWS Lambda function in Purescript☆36Oct 28, 2017Updated 8 years ago
- A presentation by Aaron Goldsmith☆10Jan 8, 2026Updated last month
- Small experimental Unity project: DXR + Spline☆14Sep 13, 2023Updated 2 years ago
- Holoplay.js compatible server for Linux (and probably other OSes)☆10Mar 27, 2019Updated 6 years ago
- Blocks graphs in blueprints to keep a consistent codebase for C++ projects☆10Jul 28, 2023Updated 2 years ago
- A Reactive Sparql Client written in Scala and Akka☆13Sep 18, 2023Updated 2 years ago
- Sublime Open Shading Language☆16Feb 23, 2019Updated 7 years ago
- Simple BCH addresses translator☆13Mar 8, 2023Updated 2 years ago
- Repo for hands-on held on 19/04/28.☆10May 1, 2019Updated 6 years ago
- Hyperdrive is an all-in-one node management system for NodeSet operators.☆13Feb 9, 2026Updated 3 weeks ago
- Haskell trading framework.☆11Apr 3, 2016Updated 9 years ago
- ☆12Apr 4, 2019Updated 6 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆94Oct 7, 2018Updated 7 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆37Dec 31, 2020Updated 5 years ago
- Epic - a Supercombinator Compiler☆64Jun 12, 2015Updated 10 years ago