BartoszMilewski / PolyLensLinks
Polynomial Lens
☆29Updated 2 years ago
Alternatives and similar repositories for PolyLens
Users that are interested in PolyLens are comparing it to the libraries listed below
Sorting:
- A talk☆28Updated 4 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Idris 2 bindings to various C libraries☆15Updated 4 years ago
- SKI combinators☆55Updated 8 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆40Updated last year
- The place for submitting new articles to the Serokell blog.☆16Updated last year
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Lua backend for Idris 2☆28Updated 2 years ago
- An extended typed Lambda Calculus☆21Updated 11 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 5 months ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- A verified compiler for a lazy functional language☆36Updated 3 weeks ago
- Interpret Haskell programs into any cartesian closed category.☆62Updated 2 months ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- ☆14Updated 6 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 5 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Updated 5 years ago
- ☆44Updated 2 years ago
- an optimizing curry compiler☆14Updated 2 years ago
- An epoll-based HTTP library for ATS2☆14Updated 2 years ago
- A haskell tutorial using CodeWorld☆19Updated 6 months ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- ☆26Updated last year
- Demo for dependent types + runtime code generation☆69Updated 5 months ago
- Ideas for the next generation of Haskell's Arrow notation☆12Updated 5 years ago
- The Iowa Agda Library☆48Updated last month