Codes related to Idris
☆17Sep 4, 2015Updated 11 years ago
Alternatives and similar repositories for Idris
Users that are interested in Idris are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GHCJS example code☆18Aug 15, 2016Updated 10 years ago
- Curses bindings package for Idris☆12Jan 4, 2019Updated 7 years ago
- This is a fork of the amzi expert systems in prolog ported to swi-prolog and put in git instead of awkward file by file dl on amzi site☆10Dec 24, 2014Updated 11 years ago
- Project set up for playing around with mobile haskell☆14May 8, 2018Updated 8 years ago
- Source of the "Pony for X" intro to Pony series☆14Oct 4, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Provably correct implementation of insertion sort in Idris.☆31Apr 23, 2021Updated 5 years ago
- Synchronous programming in Haskell☆17Oct 19, 2020Updated 6 years ago
- a glossary for how various letters and symbols are used in different sciences☆10Sep 11, 2026Updated last month
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆27Sep 10, 2015Updated 11 years ago
- Emacs, vim, Sublime, Atom, IntelliJ, etc☆24Jan 27, 2017Updated 9 years ago
- ☆42Nov 8, 2014Updated 11 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Mar 3, 2022Updated 4 years ago
- Small example of reflex-dom with build scripts for Android and IOS☆14Dec 5, 2019Updated 6 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Reversible parsing and pretty-printing.☆17Dec 15, 2014Updated 11 years ago
- A domain specific language (DSL) to build HTML with pure javascript code.☆13Dec 30, 2022Updated 3 years ago
- Purely functional data structures in Idris☆11Sep 24, 2017Updated 9 years ago
- Simple TodoList with dependency expressed by DAG☆13May 6, 2022Updated 4 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 10 years ago
- Dash docset generator for Ramda☆14Sep 15, 2022Updated 4 years ago
- An implementation of µKanren in Lisp Flavored Erlang.☆17Aug 5, 2015Updated 11 years ago
- Demonstration of GTK4 TreeListView with drag-and-drop☆16Sep 21, 2024Updated 2 years ago
- Automatically wrap Scala classes that return Futures with a Circuit Breaker☆10Sep 18, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆41Feb 17, 2020Updated 6 years ago
- ☆19Jul 24, 2017Updated 9 years ago
- Idris Todo web application example☆41Jan 30, 2023Updated 3 years ago
- A no-frills Racket macro library to extend ffi/unsafe with C++ compatibility.☆10Feb 5, 2020Updated 6 years ago
- Write type-safe shell scripts in Haskell☆14Jan 10, 2020Updated 6 years ago
- A game about exponential growth written in Haskell☆31May 11, 2016Updated 10 years ago
- Some writings about a type system for nix☆20Dec 18, 2017Updated 8 years ago
- ☆20Jan 7, 2021Updated 5 years ago
- A simple (toy) implementation of DNS server☆13Apr 15, 2014Updated 12 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Materials accompanying "Implementing an Elliptic Curve in Go"☆13Jul 29, 2017Updated 9 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 12 years ago
- An seL4 reference webserver application☆11Jul 22, 2026Updated 3 months ago
- Haskell code generator☆22Nov 24, 2015Updated 10 years ago
- A DSL for describing and implementing communication protocols☆83Dec 19, 2014Updated 11 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆93Oct 7, 2018Updated 8 years ago
- An Erlang source code tokenizer written in Rust.☆13Aug 22, 2026Updated 2 months ago