AndyShiue / Ende-readme
Ende is a hypothetical programming language.
☆23Updated 4 years ago
Alternatives and similar repositories for Ende-readme:
Users that are interested in Ende-readme are comparing it to the libraries listed below
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 5 years ago
- The Alms Programming Language☆44Updated 6 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆52Updated 8 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆45Updated last year
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆59Updated 4 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 5 years ago
- JVM code generation☆32Updated 6 years ago
- Miller/pattern unification in Agda☆65Updated 11 years ago
- Type provider library for Idris☆94Updated 7 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Higher-order optimization library☆74Updated last year
- higher order dependently typed logic programing☆171Updated 6 years ago
- build tool and package manager for idris,in idris,with free monads☆33Updated 6 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated 2 years ago
- Dive into GHC☆82Updated 8 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- xmonad in Coq☆46Updated 12 years ago
- The LVish Haskell library☆80Updated 2 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 11 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- Example row-polymorphism implementations☆61Updated last year
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- My Own Linear Lisp☆40Updated 6 years ago