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:
- 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
- SKI combinators☆56Updated 8 years ago
- Interpret Haskell programs into any cartesian closed category.☆68Updated last month
- A verified compiler for a lazy functional language☆37Updated this week
- A compiler and runtime for normalizing the untyped λ-calculus☆32Updated 3 years ago
- The theory of groups☆80Updated 2 years ago
- Vim mode for Idris 2☆78Updated 3 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆63Updated 4 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆57Updated 5 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆47Updated 3 years ago
- Build system☆131Updated 2 months ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆62Updated last year
- ☆37Updated last year
- The LC3 virtual machine☆24Updated last year
- Pretty-print error messages of the ATS Compiler☆37Updated 6 years ago
- Agda category theory library for denotational design☆54Updated 2 months ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆120Updated 4 years ago
- A talk☆28Updated 4 years ago
- Idris 2 bindings to various C libraries☆15Updated 4 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 10 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆83Updated 8 years ago
- Lua backend for Idris 2☆28Updated 3 years ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 5 years ago
- Effective Algebraic Topology in Haskell☆90Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- joke page until I decide what to do with this domain name☆39Updated 6 months ago
- ☆45Updated 2 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆51Updated 3 years ago