Alternatives and similar repositories for wtf

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

• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 5 years ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆37Updated last year
• kandersen / dpc
  Distributed Protocol Combinators
  ☆13Updated 4 years ago
• renzyq19 / pi-calculus
  ☆27Updated 11 years ago
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆28Updated 6 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• jaredly / unison.rs
  ☆70Updated 3 years ago
• chris-martin / graphical-haskell
  ☆13Updated 5 years ago
• kai-qu / linear-logic
  An encoding of linear logic in Coq with minimal Sokoban and blocks world examples
  ☆22Updated 3 years ago
• VictorTaelin / ultimate-calculus
  ☆36Updated 4 years ago
• SPY / idris-codegen-wasm
  WebAssembly Code Generation Backend for Idris Compiler
  ☆82Updated 7 years ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 2 years ago
• VictorTaelin / absal-rs
  ☆35Updated 7 years ago
• codedot / lambda
  Macro Lambda Calculus
  ☆50Updated 6 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• msprotz / proof-search-monad
  Tentative write-up of a neat trick used in the Mezzo type-checker
  ☆15Updated 9 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 8 years ago
• proglang / ldgv
  Label dependent dependent session types
  ☆16Updated last year
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 5 years ago
• kthielen / stlcc
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Updated 12 years ago
• ISANobody / sill
  ☆29Updated 10 years ago
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆31Updated 8 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆70Updated 5 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 7 years ago
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 8 years ago
• derekelkins / ads
  Authenticated Data Structures
  ☆16Updated 10 years ago