wires / wtf

Related projects ⓘ

Alternatives and complementary repositories for wtf

• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago
• keenbug / ReSheet
  A hackable notes-spreadsheet-hybrid for programmers
  ☆14Updated 3 weeks ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• VictorTaelin / Elementary-Affine-Core-legacy
  A simple, untyped, terminating functional language that is fully compatible with optimal reductions.
  ☆17Updated 5 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 4 years ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆40Updated last year
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated 11 months ago
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆26Updated 5 years ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated last year
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆32Updated 11 months ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆61Updated 5 years ago
• VictorTaelin / Moonad-web-legacy
  A Peer-to-Peer Operating System
  ☆35Updated 5 years ago
• zenprotocol / contracts
  Contract examples
  ☆10Updated 2 years ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆121Updated 2 years ago
• dakk / bitcoinml
  Bitcoin data-structures library for OCaml
  ☆43Updated 4 years ago
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 7 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• codedot / lambda
  Macro Lambda Calculus
  ☆45Updated 5 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated 6 months ago
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆20Updated last year
• VictorTaelin / absal-rs
  ☆36Updated 6 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆51Updated last year
• tezos / tezoscoq
  working with coq and tezos
  ☆28Updated 7 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆67Updated 3 weeks ago
• multiformats / haskell-multihash
  Multihash Haskell implementation
  ☆27Updated last year