cdfa / frugelLinks
An error-tolerant live programming environment (my Master's thesis)
☆18Updated 2 years ago
Alternatives and similar repositories for frugel
Users that are interested in frugel are comparing it to the libraries listed below
Sorting:
- A template for you to implement Hazelnut yourself☆22Updated 4 months ago
- ☆22Updated 5 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- algebraic typechecking and elaboration of type systems☆12Updated 4 months ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Another attempt to realize my programming language☆23Updated 3 months ago
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Updated 6 years ago
- language verification, construction, and analysis☆20Updated 3 years ago
- A TOML parser for Idris 2☆17Updated 11 months ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- ☆35Updated last year
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Lambda calculus go brrrr☆29Updated last year
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 7 months ago
- a self-hosting lambda calculus compiler☆35Updated last month
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆50Updated 3 months ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Some rudimentary proofs on subtyping☆11Updated 3 years ago
- An extended typed Lambda Calculus☆21Updated 9 months ago
- ☆16Updated 3 years ago
- ☆17Updated last year