bts's Stars
DarthTon/Blackbone
Windows memory hacking library
crytic/echidna
Ethereum smart contract fuzzer
gnes-ai/gnes
GNES is Generic Neural Elastic Search, a cloud-native semantic search system based on deep neural network.
waymonad/waymonad
A wayland compositor based on ideas from and inspired by xmonad
kadena-io/pact
The Pact Smart Contract Language
sdiehl/bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
ocaml-multicore/effects-examples
Examples to illustrate the use of algebraic effects in Multicore OCaml
poanetwork/hbbft
An implementation of the paper "Honey Badger of BFT Protocols" in Rust. This is a modular library of consensus.
lilyball/nix-env.fish
Nix environment setup for the fish shell
LeventErkok/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
paf31/purescript-sdom
An experiment in replacing the virtual DOM and avoiding diffing
cpitclaudel/z3.wasm
WASM builds of the Z3 SMT solver
ucsd-progsys/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
msp-strath/TypOS
being an operating system for typechecking processes
dapphub/hevm
(OLD REPO) A debug-oriented Ethereum VM (EVM)
brendanhay/terrafomo
Le Fromage de Terreur - Auto-generated Terraform DSL
gstew5/snarkl
ConferOpenSource/composite
Integrations with Vinyl/Frames records.
maxsnew/modal-scheme
A Scheme-like CBPV language with Racket Interoperability
parsonsmatt/garlic-bread
Leave delicious breadcrumbs to make your errors easier to understand.
Consensys/quorum-aws
Tools for deploying Quorum clusters to AWS
pigworker/Saturday
being a thing I build on a Saturday
joelburget/lvca
language verification, construction, and analysis
bts/deferred-substitution
An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"
joelburget/lvca-hs
language verification, construction, and automation
bch29/language-verification
bts/columnate
Small unix utility to columnate data sets without stripping color codes
joelburget/mylens
bts/nylas-hs
Haskell client for the Nylas web API
bts/lower
Lowering a surface syntax into different intermediate representations