cognitive-engineering-lab / document-calculusLinks
Accompanying materials for "A Core Calculus for Documents"
☆33Updated last year
Alternatives and similar repositories for document-calculus
Users that are interested in document-calculus are comparing it to the libraries listed below
Sorting:
- Demo for dependent types + runtime code generation☆69Updated 4 months ago
- EGraphs in OCaml☆65Updated last year
- ☆33Updated 8 months ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆23Updated 2 years ago
- Mystery Languages☆38Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆53Updated 4 months ago
- Benchmark repository of polyglot effect handler examples☆24Updated 2 months ago
- A template for you to implement Hazelnut yourself☆22Updated 3 weeks ago
- Slog 1.0☆43Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Programming Language Foundations in Lean☆39Updated 2 months ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 5 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated 3 weeks ago
- Implementation of the Delta Language☆8Updated last year
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- A custom parser/auto-formatter for Standard ML☆78Updated last month
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆55Updated 2 years ago
- ☆35Updated last year
- A Toy Inverse Bidirectional Typechecker☆31Updated 6 years ago
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Updated last year
- Efficient effect handlers based on Evidence Passing Semantics.☆30Updated 4 years ago
- Reference compiler for c0☆36Updated last month
- Educational Proof Assistant for Type Theory☆74Updated 10 months ago
- SPSC: A Small Positive Supercompiler☆35Updated last year
- A toy dependent typed language.☆29Updated last week
- a proof-of-concept programming language based on call-by-push-value☆54Updated this week
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- The Next Generation of Compositional Programming☆27Updated 2 weeks ago