A translation of Certified Programming with Dependent Types to Idris.
☆13May 2, 2014Updated 12 years ago
Alternatives and similar repositories for Idris-CPDT
Users that are interested in Idris-CPDT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code from my StrangeLoop 2014 Idris presentation.☆13Sep 20, 2014Updated 12 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Library for Nix expression dependency generation☆11Jun 25, 2015Updated 11 years ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 9 years ago
- ☆25Aug 10, 2016Updated 10 years ago
- An old tutorial for using `Effects` in Idris.☆23Sep 10, 2015Updated 11 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆27Sep 10, 2015Updated 11 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Jun 25, 2022Updated 4 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Sep 27, 2016Updated 10 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 9 years ago
- A Haskell library for manipulating Java class files☆15Mar 16, 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.
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 8 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18May 14, 2015Updated 11 years ago
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆18Jan 5, 2015Updated 11 years ago
- A talk on parametricity☆36Jul 18, 2023Updated 3 years ago
- Deploying things with dependencies to AWS EC2☆17Oct 2, 2017Updated 9 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 11 years ago
- A port of Bryan O'Sullivan's attoparsec from Haskell to Scala☆13Feb 17, 2014Updated 12 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆40May 1, 2018Updated 8 years ago
- Coq executable semantics and resource verifier☆14Dec 23, 2015Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Sep 10, 2015Updated 11 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 9 years ago
- Base library for HoTT in Agda☆39Apr 2, 2019Updated 7 years ago
- TODO☆23Oct 10, 2015Updated 11 years ago
- A combinator for making any monadic control operator stack-safe☆26Oct 24, 2019Updated 6 years ago
- Deciding Presburger arithmetic in agda☆33Mar 25, 2023Updated 3 years ago
- mongodb database library using scalaz-stream☆12Apr 28, 2014Updated 12 years ago
- [Unmaintained]☆14Nov 7, 2019Updated 6 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 7 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.
- Haskell library of algebraic topology☆27Sep 23, 2011Updated 15 years ago
- Test.GenCheck Haskell project☆17May 17, 2018Updated 8 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 8 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆53Jul 24, 2019Updated 7 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Apr 29, 2022Updated 4 years ago
- Add missing imports.☆31Sep 17, 2014Updated 12 years ago
- A Heroku buildpack using Nix.☆13Mar 28, 2017Updated 9 years ago