hallettj / LambdaCalculusLinks
Scala implementation of a lambda calculus interpreter
☆28Updated 15 years ago
Alternatives and similar repositories for LambdaCalculus
Users that are interested in LambdaCalculus are comparing it to the libraries listed below
Sorting:
- formalization of the Dependent Object Types (DOT) calculus☆160Updated 8 years ago
- A parser combinator library based on the GLL algorithm☆305Updated last year
- Code from the book "Types and Programming Languages" in Scala☆186Updated 3 years ago
- Formalization of the Dependent Object Types (DOT) calculus☆66Updated 2 years ago
- LL(1) parser combinators in Scala☆59Updated 4 months ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- The Leon system for verification, synthesis, repair☆163Updated last year
- js.scala: JavaScript as an embedded DSL in Scala☆176Updated 10 years ago
- A playground for parsers, type checkers, interpreters, compilers, etc.☆40Updated 6 months ago
- Constructor of incremental parsers in Scala☆449Updated 4 years ago
- Dependent Object Types (DOT), bottom up☆87Updated 3 years ago
- Tiny Scala library to generate class files for the JVM☆69Updated 3 years ago
- RRB-Trees: Efficient Immutable Vectors☆51Updated 12 years ago
- The fastest way to build a language☆43Updated 3 years ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆45Updated 4 months ago
- A simple bidirectional type checker☆18Updated 6 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Updated 2 years ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Updated last year
- Extensible algebraic effects with handlers☆145Updated last week
- A type-safe dialect of TypeScript☆25Updated 10 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- a capability-based system☆40Updated 7 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- The language of the future!☆72Updated last year
- Idris for Visual Studio Code☆107Updated 3 years ago
- The Twelf Programming Language☆137Updated 5 months ago
- Lasca is Scala shifted towards Haskell.☆133Updated 6 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago