Alternatives and similar repositories for cicada-solo:

Users that are interested in cicada-solo are comparing it to the libraries listed below

• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆92Updated last month
• ice1000 / guest0x0
  Neon lights in the night tonight and stars that shine in the open sky
  ☆43Updated last year
• anqurvanillapy / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆24Updated 2 weeks ago
• rowscript / rowscript
  RowScript programming language, making a better browser world
  ☆114Updated last month
• aya-prover / aya-dev
  A proof assistant and a dependently-typed language
  ☆303Updated this week
• ice1000 / anqur
  Elaboration with inductive types
  ☆16Updated last year
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆80Updated this week
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆33Updated 2 years ago
• Trebor-Huang / ice1000
  🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟
  ☆20Updated 2 years ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆53Updated 3 years ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆173Updated this week
• Guest0x0 / pruning-tutor
  a tutorial implementation on an elaborator of a dependently typed language with pruning
  ☆22Updated 2 years ago
• plfa / plfl
  Programming Language Foundations in Lean
  ☆25Updated last month
• cicada-lang / inet-cute
  An implementation of interaction nets in JS.
  ☆133Updated last month
• rami3l / plfl
  Learn Lean 4 with PLFA proofs.
  ☆54Updated 9 months ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 4 years ago
• Guest0x0 / trebor
  an implementation of Observational Type Theory (OTT) and more
  ☆26Updated 2 years ago
• msp-strath / TypOS
  being an operating system for typechecking processes
  ☆123Updated last year
• ice1000 / arend-io
  A toy IO library for Arend
  ☆18Updated 4 years ago
• KonjacSource / ShiTT
  ShiTT is a toy proof assistant. (This project will be rewritten soon)
  ☆33Updated 3 months ago
• owo-lang / minitt-rs
  Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
  ☆117Updated 4 years ago
• RedPRL / cooltt
  😎TT
  ☆222Updated last year
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 4 years ago
• fragilelambda / txmonad
  A toy xmonad
  ☆31Updated 4 years ago
• Guest0x0 / normalization-bench
  Benchmarking various normalization algorithms for the lambda calculus
  ☆44Updated 2 years ago
• Trebor-Huang / HomotopyHistory
  ☆22Updated last year
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆186Updated 6 months ago
• lambda-pi-plus / lambda-pi-plus
  A simple Depdently-Typed Language for Research and Learning
  ☆57Updated 8 years ago
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆59Updated 3 years ago