Alternatives and similar repositories for proud:

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

• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆24Updated 4 years ago
• atennapel / tinka-hs
  Dependently typed programming language written in Haskell
  ☆22Updated 3 years ago
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 4 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• BookOwl / type-inference
  Hindley Milner Type Inference in Rust
  ☆12Updated 7 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• xieyuheng / cicada-rs
  old cicada attempt in rs
  ☆3Updated last year
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆29Updated last year
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• thautwarm / Quick-Backend
  Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
  ☆24Updated 4 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• RedPRL / kado
  🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
  ☆19Updated 4 months ago
• thautwarm / plfp
  my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice
  ☆9Updated 4 years ago
• xnning / Dissertation
  My PhD Thesis
  ☆14Updated 3 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• ralsei / six-eyes
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Updated 2 years ago
• edwinb / idris2-clibs
  Idris 2 bindings to various C libraries
  ☆15Updated 3 years ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 6 months ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆26Updated 2 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• lynn / universal-lambda
  A minimal esolang based on lambda calculus
  ☆16Updated 4 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated last month
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆15Updated 7 months ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 2 years ago