githwxi / XATSHOME
For hosting ATS3 and developing CodeDepot
☆13Updated this week
Alternatives and similar repositories for XATSHOME
Users that are interested in XATSHOME are comparing it to the libraries listed below
Sorting:
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 5 months ago
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- a self-hosting lambda calculus compiler☆35Updated last month
- Your happy place for learning APL☆16Updated 2 years ago
- Miscellaneous Racket utilities lacking a better home☆12Updated 6 months ago
- Haskell binding for PADS☆19Updated 5 years ago
- The Pulse separation logic DSL for F*☆16Updated last week
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- Various mechanized proof files for fun.☆11Updated 3 months ago
- A well typed by construction kernel language for bidirectional programming☆14Updated 4 months ago
- Modeling DNS with Alloy☆37Updated 3 years ago
- Some rudimentary proofs on subtyping☆11Updated 3 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 3 years ago
- Category Theory & Cobordism Categories in Lean 4☆16Updated 10 months ago
- A Rust to OCaml source to source translator☆21Updated last year
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16Updated last year
- A decentralized linux distribution.☆12Updated 3 years ago
- The Cubicle model checker☆13Updated last year
- Programming Languages Grammar House (BNF like grammars)☆27Updated 8 months ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- An extended typed Lambda Calculus☆21Updated 9 months ago
- Numerical Optimisation Library☆16Updated last year
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago