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:
- SKI combinators☆55Updated 8 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆80Updated 8 years ago
- The place for submitting new articles to the Serokell blog.☆16Updated last year
- ☆45Updated 2 years ago
- ☆14Updated 6 years ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- ☆37Updated last year
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆65Updated 3 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
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- Build system☆128Updated 2 years ago
- A talk☆28Updated 4 years ago
- ☆44Updated 3 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆37Updated last month
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated last year
- Idris 2 bindings to various C libraries☆15Updated 4 years ago
- Vim mode for Idris 2☆78Updated 3 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- Example language server (LSP) implementation for a toy language☆60Updated 4 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated last year
- Course on Metaprogramming☆72Updated 3 months ago
- Awesome Agda Programming☆18Updated last month
- Demo for dependent types + runtime code generation☆72Updated 8 months ago
- Lua backend for Idris 2☆28Updated 3 years ago
- Interpret Haskell programs into any cartesian closed category.☆66Updated last month
- ICFP 2020 papers. Crowd-sourced☆90Updated 5 years ago
- A bidirectional type checker☆65Updated 8 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 8 months ago
- The theory of groups☆80Updated 2 years ago