Alternatives and similar repositories for curios

Users that are interested in curios are comparing it to the libraries listed below

• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆36Updated last week
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• samueldurantes / haildo
  Toy programming language
  ☆19Updated last year
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 2 years ago
• moonad-archive / Formality-JavaScript
  An implementation of the Formality language in JavaScript
  ☆71Updated 5 years ago
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 5 years ago
• kindelia-archive / LambdaVM
  A next-gen, massively parallel, beta-optimal functional runtime.
  ☆10Updated 3 years ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆82Updated 2 months ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• matteo-meluzzi / agda2hvm
  ☆13Updated 2 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• SimonJF / mbcheck
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆15Updated last month
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• uwutech / Kind
  A modern proof language
  ☆8Updated 4 years ago
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆94Updated 4 months ago
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 3 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 5 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• robotlolita / cursed-aoc
  Advent of Code 2021, but I can only use TypeScript's type system to solve the puzzles
  ☆12Updated 3 years ago
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆63Updated 2 years ago
• idris-community / katla
  ☆19Updated last month
• BeFunctional / haskell-foreign-rust
  ☆13Updated 2 years ago
• brendanzab / rust-nbe-for-mltt
  Normalization by evaluation for Martin-Löf Type Theory with dependent records
  ☆98Updated 3 years ago
• VictorTaelin / formality-agda-lib-legacy
  Agda libraries relevant to Moonad
  ☆14Updated 6 years ago
• ligolang / ligo
  ☆14Updated this week
• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆69Updated this week
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• thunderseethe / making-a-language
  Full Source Code for Making a Language series
  ☆39Updated 2 weeks ago
• algebraic-dev / nuko
  🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.
  ☆15Updated 2 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 11 months ago