mattjquinn

mattjquinn's Stars

• torvalds/linux

  Linux kernel source tree

  Language:C178k7.9k053.2k

• firecracker-microvm/firecracker

  Secure and fast microVMs for serverless computing.

  Language:Rust25.1k3281.4k1.8k

• simdjson/simdjson

  Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks

  Language:C++19.1k2398261k

• OpenRCT2/OpenRCT2

  An open source re-implementation of RollerCoaster Tycoon 2 🎢

  Language:C++13.3k20312.4k1.5k

• bisq-network/bisq

  A decentralized bitcoin exchange network

  Language:Java4.7k2733.2k1.3k

• google/fully-homomorphic-encryption

  An FHE compiler for C++

  Language:C++3.5k8937252

• bytecodealliance/cranelift

  Cranelift code generator

  2.5k93379202

• OpenLoco/OpenLoco

  An open source re-implementation of Chris Sawyer's Locomotion

  Language:C++1.3k43721154

• realworldocaml/book

  V2 of Real World OCaml

  Language:OCaml1.2k473.1k175

• GaloisInc/cryptol

  Cryptol: The Language of Cryptography

  Language:Haskell1.1k551.2k123

• JetBrains/Arend

  The Arend Proof Assistant

  Language:Java6901325232

• kevinlawler/kerf1

  Kerf (Kerf1) is a columnar tick database and time-series language for Linux/OSX/BSD/iOS/Android. It is written in C and natively speaks JSON and SQL. Kerf can be used for trading platforms, feedhandlers, low-latency networking, high-volume analysis of realtime and historical data, logfile processing, and more.

  Language:C539391838

• ProofGeneral/PG

  This repo is the new home of Proof General

  Language:Emacs Lisp4881452986

• informalsystems/apalache

  APALACHE: symbolic model checker for TLA+ and Quint

  Language:Scala417101.2k38

• QuickChick/QuickChick

  Randomized Property-Based Testing Plugin for Coq

  Language:Coq2491717446

• yeokm1/w31slack

  A proof-of-concept Slack client for Windows for Workgroups 3.11 with tests.

  Language:C220757

• Deducteam/Dedukti

  Implementation of the λΠ-calculus modulo rewriting

  Language:OCaml1961713921

• MLanguage/mlang

  Compiler for the M language, used to compute the income tax of French taxpayers

  Language:OCaml1759799

• NixOS/nixos

  OBSOLETE (go to NixOS/nixpkgs) - NixOS, a Linux distribution based on the Nix package manager - OBSOLETE (go to NixOS/nixpkgs)

  Language:Shell17529148102

• codyroux/name-the-biggest-number

  Language:Coq621006

• mit-plv/bedrock

  Coq library for verified low-level programming

  Language:Coq571006

• uwplse/PUMPKIN-PATCH

  Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

  Language:OCaml5010632

• pest-parser/book

  pest book

  Language:JavaScript44111134

• bakerjd99/jacks

  Consolidated J language code referenced in my blog Analyze the Data not the Drivel

  Language:HTML40308

• djanderson/riscv-5stage-simulator

  A 5-stage pipelining RISC-V 32I simulator written in Rust.

  Language:Rust19314

• shevek/polyglot

  The Polyglot LR parser generator

  Language:Java12292

• bakerjd99/jod

  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions

  Language:J10303

• ezrakilty/coq-irrat2

  Proof that sqrt(2) is irrational in Coq.

  Language:HTML8301

• luksamuk/study

  Repositório de anotações de aulas e exercícios resolvidos

  Language:C++4211

• danhirschi/types_timecode

  tools for drop frame video timecode

  Language:J2