swr1bm86 / idringenView external linksLinks
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☆107May 13, 2022Updated 3 years ago
- Event-driven bidirectional channels☆14Feb 17, 2016Updated 9 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 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
- PouchDB Bindings for PureScript☆24Oct 9, 2018Updated 7 years ago
- A Computer Algebra System written in and for Haskell☆26Jul 10, 2016Updated 9 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
- ProvenDB Open Source Verification CLI☆13Mar 16, 2023Updated 2 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
- ethdebug.py is a debugger-side implementation of the EthDebug format☆15Sep 24, 2025Updated 4 months 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
- 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.☆13Updated this week
- ☆12Apr 4, 2019Updated 6 years ago
- Blocks graphs in blueprints to keep a consistent codebase for C++ projects☆10Jul 28, 2023Updated 2 years ago
- An sbt plugin for adding sounds to task completions☆28May 5, 2018Updated 7 years ago
- A Reactive Sparql Client written in Scala and Akka☆13Sep 18, 2023Updated 2 years ago
- Simple BCH addresses translator☆13Mar 8, 2023Updated 2 years ago
- An example of writing an AWS Lambda function in Purescript☆36Oct 28, 2017Updated 8 years ago
- Sublime Open Shading Language☆16Feb 23, 2019Updated 6 years ago
- ☆18Mar 6, 2013Updated 12 years ago
- Haskell trading framework.☆11Apr 3, 2016Updated 9 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
- Applicative-style validation☆45Apr 27, 2022Updated 3 years ago
- A self hosted website for announcing group events☆38May 1, 2021Updated 4 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Sep 27, 2016Updated 9 years ago
- ☆12Dec 8, 2022Updated 3 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Some My Houdini HDK DSO Plugins.☆10Apr 18, 2022Updated 3 years ago