Alternatives and similar repositories for wtf

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

• SPY / idris-codegen-wasm
  WebAssembly Code Generation Backend for Idris Compiler
  ☆81Updated 7 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 5 years ago
• keenbug / ReSheet
  A hackable notes-spreadsheet-hybrid for programmers
  ☆16Updated 9 months ago
• jaredly / unison.rs
  ☆69Updated 2 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
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• kandersen / dpc
  Distributed Protocol Combinators
  ☆13Updated 4 years ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• chris-martin / graphical-haskell
  ☆13Updated 5 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• kritzcreek / purescript-wasm
  Wasm library for PureScript
  ☆29Updated last year
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• VictorTaelin / ultimate-calculus
  ☆36Updated 3 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆70Updated 5 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• VictorTaelin / absal-rs
  ☆35Updated 7 years ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• renzyq19 / pi-calculus
  ☆27Updated 11 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆34Updated last year
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 10 months ago
• codedot / lambda
  Macro Lambda Calculus
  ☆49Updated 6 years ago
• propella / AlligatorEggs
  Yet another animation of Bret Victor's "Alligator Eggs!"
  ☆14Updated 4 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆76Updated last month
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆124Updated 6 years ago
• VictorTaelin / Elementary-Affine-Core-legacy
  A simple, untyped, terminating functional language that is fully compatible with optimal reductions.
  ☆17Updated 6 years ago