GenericMonkey

GenericMonkey's Stars

• viperproject/axiom-profiler

  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).

  Language:C#324

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.2k1.5k

• dafny-lang/libraries

  Libraries useful for Dafny programs

  Language:Dafny4325

• emina/rosette

  The Rosette solver-aided host language, sample solver-aided DSLs, and demos

  Language:Racket63974

• zydeco-lang/zydeco

  a proof-of-concept programming language based on Call-by-push-value

  Language:Rust493

• maxsnew/cubical-categorical-logic

  Extensions to the cubical stdlib category theory for categorical logic/type theory

  Language:Agda215

• verus-lang/verus

  Verified Rust for low-level systems code

  Language:Rust1.1k65

• smogon/pokemon-showdown

  Pokémon battle simulator.

  Language:TypeScript4.7k2.8k

• rozbb/readtomyshoe

  A webapp that reads your articles to you while you're on the subway

  Language:Rust262

• eligoldweber/TierPaxos

  Scalable Architecture for SMR Protocols

  Language:C++1

• cfenollosa/os-tutorial

  How to create an OS from scratch

  Language:C27k3.3k