A fun, easy-to-read, open-source math textbook
☆26Apr 1, 2016Updated 9 years ago
Alternatives and similar repositories for lysa
Users that are interested in lysa are comparing it to the libraries listed below
Sorting:
- Learn You Some Algebras for Glorious Good!☆16Jan 1, 2015Updated 11 years ago
- Math textbook. Trial for social textbook writing.☆21Feb 8, 2015Updated 11 years ago
- Neuroevolution of Augmented Topologies (NEAT) -- in Haskell☆12Jun 15, 2017Updated 8 years ago
- An implementation of Racket's Scribble in Clojure☆22Sep 20, 2013Updated 12 years ago
- ☆11Jul 2, 2024Updated last year
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 years ago
- Ruby wrapper for Odnoklassniki API☆24Feb 21, 2020Updated 6 years ago
- A library and framework for massively parallelizing backtracking searches in Haskell with a strong emphasis on ease of use.☆31Jul 30, 2019Updated 6 years ago
- Flexible generation of identicons in Haskell☆16Feb 2, 2026Updated last month
- Detect faces in react App.☆14Sep 23, 2021Updated 4 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 8 years ago
- Idris backend targeting Elixir (Work in progress)☆18Jan 26, 2017Updated 9 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated last year
- 🌋 Idris implementation of patricia tree☆23Nov 6, 2020Updated 5 years ago
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago
- Data format based on dictionaries☆29Mar 15, 2017Updated 8 years ago
- IYPT Projects for Capa Science High School Students☆34Oct 30, 2017Updated 8 years ago
- A partial implementation of Protocol Buffers in Idris☆32Aug 12, 2017Updated 8 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Aug 22, 2019Updated 6 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- OpenSSL binding for Haskell☆24Jan 31, 2026Updated last month
- Library for invertible parsing and printing☆33Aug 25, 2025Updated 6 months ago
- ☆21Oct 23, 2016Updated 9 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Jul 28, 2017Updated 8 years ago
- Quickcheck Properties for common typeclasses☆35Dec 27, 2025Updated 2 months ago
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- being a thing I build on a Saturday☆28Mar 5, 2018Updated 7 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆25Nov 12, 2018Updated 7 years ago
- Work on type class deriving with elaboration reflection☆32Sep 9, 2018Updated 7 years ago
- Github project where I track everything related to my thesis☆28Sep 2, 2016Updated 9 years ago
- topos programming☆31Sep 20, 2018Updated 7 years ago
- A Toy Inverse Bidirectional Typechecker☆32May 13, 2019Updated 6 years ago
- Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck☆36Jul 11, 2021Updated 4 years ago
- Convert stack projects to cabal.project + cabal.project.freeze☆26Mar 18, 2024Updated last year
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Sep 10, 2015Updated 10 years ago
- Simple lambda prover☆24Jul 6, 2015Updated 10 years ago
- Massive Hackage CI for building Hackage package versions against multiple GHC versions☆24Oct 1, 2021Updated 4 years ago
- Mona robot's basic functions and test code in Arduino☆11Jan 3, 2019Updated 7 years ago