cicada-lang / cicada-plct
Cicada Language (PLCT little team)
☆92Updated last month
Alternatives and similar repositories for cicada-plct:
Users that are interested in cicada-plct are comparing it to the libraries listed below
- An implementation of interaction nets in JS.☆133Updated last month
- Cicada Language (solo version)☆128Updated last month
- A Language with Dependent Data and Codata Types☆80Updated this week
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆179Updated this week
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆60Updated 3 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆24Updated last week
- Learn Lean 4 with PLFA proofs.☆53Updated 9 months ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- Staged compilation with dependent types☆168Updated this week
- Elaboration with inductive types☆16Updated last year
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆22Updated 2 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆43Updated last year
- Books on programming language theory and linguistics in general.☆53Updated 3 years ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆35Updated this week
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆56Updated 9 months ago
- RowScript programming language, making a better browser world☆114Updated last month
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆43Updated last year
- a proof-of-concept programming language based on Call-by-push-value☆53Updated 2 weeks ago
- A modern functional programming language with effect system.☆19Updated 9 months ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆47Updated last month
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆65Updated this week
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆63Updated last year
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆36Updated 2 months ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆31Updated last month