BartoszMilewski / PolyLensLinks
Polynomial Lens
☆29Updated 3 years ago
Alternatives and similar repositories for PolyLens
Users that are interested in PolyLens are comparing it to the libraries listed below
Sorting:
- SKI combinators☆56Updated 8 years ago
- Interpret Haskell programs into any cartesian closed category.☆68Updated last month
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- The place for submitting new articles to the Serokell blog.☆16Updated last year
- Vim mode for Idris 2☆78Updated 3 years ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated 2 years ago
- ☆44Updated 4 years ago
- A talk☆29Updated 4 years ago
- ☆45Updated 2 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆83Updated 8 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- ☆26Updated 2 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆53Updated 3 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆64Updated 4 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 11 months ago
- Lua backend for Idris 2☆28Updated 3 years ago
- A verified compiler for a lazy functional language☆37Updated last week
- Experimental effects library for Idris 2☆43Updated 3 years ago
- The theory of groups☆81Updated 2 years ago
- Slides and handwritten notes on the course on models of programming languages☆53Updated 5 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated last year
- Agda lecture notes for the Functional Programming course at TU Delft☆132Updated 6 months ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆60Updated 5 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆82Updated 4 years ago
- A bidirectional type checker☆67Updated 8 years ago
- A continuation-based backtracking logic programming monad☆93Updated last year
- A TOML parser for Idris 2☆17Updated last year
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆65Updated 8 months ago
- Idris 2 bindings to various C libraries☆15Updated 4 years ago
- Package manager for Idris☆37Updated 3 years ago