idris-hackers / atom-language-idrisView external linksLinks
A Idris Mode for Atom.io
☆102Jul 23, 2024Updated last year
Alternatives and similar repositories for atom-language-idris
Users that are interested in atom-language-idris are comparing it to the libraries listed below
Sorting:
- Idris for Visual Studio Code☆107May 13, 2022Updated 3 years ago
- Presentation on using React Spectacle via Pux & PureScript☆12Oct 29, 2016Updated 9 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- JVM bytecode back end for Idris☆478Jan 27, 2026Updated 2 weeks ago
- Type-level API for standard collections☆33Jun 6, 2016Updated 9 years ago
- ☆92Nov 13, 2015Updated 10 years ago
- A drop-in replacement for Pux's React based renderer which needs no foreign dependencies.☆13Mar 30, 2018Updated 7 years ago
- Various data structures for use in the Idris Language.☆94May 22, 2020Updated 5 years ago
- Software Foundations in Idris☆457May 15, 2019Updated 6 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Dec 24, 2018Updated 7 years ago
- ☆50Dec 21, 2017Updated 8 years ago
- Js libraries for idris☆49Feb 2, 2020Updated 6 years ago
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- Experiments in Idris / Unity integration.☆49Sep 26, 2016Updated 9 years ago
- agda-mode on Atom☆58Feb 26, 2021Updated 4 years ago
- haskell lazy evaluation illustrated☆72May 3, 2017Updated 8 years ago
- IPython-style interaction for Cryptol☆15Dec 5, 2016Updated 9 years ago
- Sample code from "Type Driven Development with Idris"☆164Aug 6, 2017Updated 8 years ago
- A Plugin to use Idris with Sublime☆27Dec 30, 2020Updated 5 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- Basic Solitaire game in PureScript, with both web and terminal UIs☆20Apr 30, 2020Updated 5 years ago
- A Dependently Typed Functional Programming Language☆3,469Feb 17, 2025Updated 11 months ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago
- A simple Play application with Frege☆20Nov 23, 2015Updated 10 years ago
- Easy bidirectional serialization in Haskell☆49Dec 12, 2018Updated 7 years ago
- The Spire Programming Language☆59Oct 23, 2014Updated 11 years ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆182May 2, 2018Updated 7 years ago
- An idiomatic mini-interface to Redux for PureScript☆11Apr 11, 2017Updated 8 years ago
- PureScript UI framework based on lenses.☆122Oct 10, 2016Updated 9 years ago
- tagless final macro☆18Sep 14, 2015Updated 10 years ago
- A Common Intermediate Language backend for Idris 1☆134Oct 29, 2018Updated 7 years ago
- Type provider library for Idris☆95Dec 21, 2017Updated 8 years ago
- A prototype successor to Idris☆541Jul 8, 2019Updated 6 years ago
- Play JSON Reads/Writes instances for refined types☆24Feb 5, 2026Updated last week
- Refined types☆57Sep 25, 2018Updated 7 years ago
- Haskell space profiling toolset☆14Nov 7, 2018Updated 7 years ago
- 🤖Github bot for checking code formatting with scalafmt☆16Jun 3, 2018Updated 7 years ago
- just an example of how simple ADTs should have JSON serialization and deserialization automatically derived☆12Jan 22, 2017Updated 9 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Jun 14, 2018Updated 7 years ago