Alternatives and similar repositories for taller-2017:

Users that are interested in taller-2017 are comparing it to the libraries listed below

• MathiasVP / ni-formal-gc
  Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.
  ☆9Updated 5 years ago
• lambdaclass / data_etudes
  LambdaClass statistics, machine learning and data science etudes
  ☆12Updated last year
• rupurt / schoolbus
  Manage one or more PubSub instances using the Elixir registry
  ☆19Updated last year
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆23Updated last year
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• howistart / howistart-hakyll
  howistart.org the hakyll version
  ☆8Updated 5 years ago
• digama0 / frat
  DRAT proof processor
  ☆14Updated last year
• DavePearce / LeanEVM
  A toy implementation of the EVM in Lean4.
  ☆10Updated 10 months ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 4 years ago
• mumuki / mulang
  Universal, Multi Language, Multi Paradigm code analyzer
  ☆125Updated last year
• bor0 / dafny-tutorial
  Exercises for the Dafny Tutorial
  ☆11Updated 6 years ago
• blockblaz / ssz.zig
  A ziglang implementation of the SSZ serialization protocol
  ☆25Updated 3 weeks ago
• ZanjeerPlatform / csmt
  Compact Sparse Merkle Trees (CSMT) with pluggable storage.
  ☆38Updated 6 years ago
• eugmes / imp
  Compiler for IMP programming language implemented in Haskell
  ☆16Updated 4 years ago
• Consensys / deposit-sc-dafny
  Deposit smart contract in Dafny
  ☆22Updated 3 years ago
• btq-ag / keelung
  The Keelung Language
  ☆51Updated 6 months ago
• psibi / sysinfo
  Haskell Interface for getting overall system statistics
  ☆16Updated 6 years ago
• cwgoes / snarky-workshop
  Hackathon project for Snarky workshop.
  ☆11Updated 5 years ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 6 years ago
• arkworks-rs / gm17
  A Rust library for the preprocessing zkSNARK of Groth and Maller
  ☆10Updated 5 months ago
• Arkham / gleam_parser
  A parser combinator library in Gleam, heavily inspired by elm-parser
  ☆11Updated 4 years ago
• jmitchell / idris-elixir
  Idris backend targeting Elixir (Work in progress)
  ☆18Updated 8 years ago
• expede / rescue
  🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)
  ☆20Updated 3 years ago
• gleam-lang / hexpm-rust
  ⚗️ A Rust client for the Hex package manager
  ☆23Updated 2 weeks ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆35Updated 3 weeks ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆25Updated 7 years ago
• CoqHott / coq-forcing
  A plugin for Coq that implements the call-by-name forcing translation
  ☆12Updated 3 years ago
• thaterikperson / erie
  A statically-typed lisp for the BEAM
  ☆11Updated 3 years ago
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆54Updated last week