Alternatives and similar repositories for curios

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

• VictorTaelin / absal-rs
  ☆35Updated 7 years ago
• matteo-meluzzi / agda2hvm
  ☆13Updated 2 years ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• moonad-archive / Formality-JavaScript
  An implementation of the Formality language in JavaScript
  ☆71Updated 5 years ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆29Updated 2 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆58Updated last year
• VictorTaelin / formality-agda-lib-legacy
  Agda libraries relevant to Moonad
  ☆14Updated 6 years ago
• kindelia-archive / LambdaVM
  A next-gen, massively parallel, beta-optimal functional runtime.
  ☆10Updated 3 years ago
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆63Updated 2 years ago
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆83Updated 4 months ago
• VictorTaelin / Moonad-web-legacy
  A Peer-to-Peer Operating System
  ☆36Updated 6 years ago
• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆68Updated last week
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated 2 years ago
• neohaskell / neohaskell.github.io
  Home of the NeoHaskell docs
  ☆14Updated 2 weeks ago
• 05st / artemis
  Statically typed, high-level functional programming language.
  ☆17Updated 3 years ago
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆114Updated 6 years ago
• evaporei / hisp
  🌵 A lisp REPL interpreter made in Haskell
  ☆24Updated 5 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆104Updated 3 years ago
• brendanzab / rust-nbe-for-mltt
  Normalization by evaluation for Martin-Löf Type Theory with dependent records
  ☆98Updated 3 years ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 6 months ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• ollef / rock
  Build system
  ☆124Updated last year
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆52Updated 4 months ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆20Updated 7 years ago
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆104Updated last week