wires / wtf

Related projects ⓘ

Alternatives and complementary repositories for wtf

• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆20Updated last year
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆32Updated 11 months ago
• VictorTaelin / Elementary-Affine-Core-legacy
  A simple, untyped, terminating functional language that is fully compatible with optimal reductions.
  ☆17Updated 5 years ago
• ambientsprotocol / ambients-reducer
  Ambient Calculus reduction engine
  ☆8Updated last year
• extism / lean4-sdk
  Extism Lean 4 Host SDK
  ☆15Updated 3 weeks ago
• lofirepo / ocaml-p2p
  Collection of composable P2P libraries
  ☆25Updated 3 years ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆40Updated last year
• keenbug / ReSheet
  A hackable notes-spreadsheet-hybrid for programmers
  ☆14Updated last month
• kandersen / dpc
  Distributed Protocol Combinators
  ☆13Updated 3 years ago
• dakk / secp256k1-ml
  Elliptic curve library secp256k1 wrapper for Ocaml
  ☆24Updated 11 months ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• renzyq19 / pi-calculus
  ☆26Updated 10 years ago
• ucan-wg / invocation
  UCAN Invocation & Pipelining
  ☆12Updated 3 months ago
• suhr / wcpl
  ☆16Updated 6 years 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
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• oscoin / oscoin
  Oscoin Full Node Implementation in Haskell (Work in Progress)
  ☆24Updated 4 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆40Updated 2 years ago
• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆53Updated last month
• runtimeverification / wasm-semantics
  A Prototype Formal Semantics of WebAssembly in K
  ☆78Updated 3 weeks ago
• agoric-labs / jessica
  Jessica - Jessie (secure distributed Javascript) Compiler Architecture
  ☆36Updated last year
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated 6 months ago
• hermits-grove / mona
  a password manager for hermits
  ☆30Updated 6 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆26Updated 2 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago