Giters
mattjquinn

mattjquinn

Geek Repo

16

followers

0

following

59

stars

Github PK Tool:Github PK Tool

mattjquinn's starred repositories

bisq

A decentralized bitcoin exchange network

Language:JavaLicense:AGPL-3.0Stargazers:4699Issues:0Issues:0

firecracker

Secure and fast microVMs for serverless computing.

Language:RustLicense:Apache-2.0Stargazers:25784Issues:0Issues:0

polyglot

The Polyglot LR parser generator

Language:JavaLicense:GPL-3.0Stargazers:13Issues:0Issues:0

riscv-5stage-simulator

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

Language:RustLicense:GPL-3.0Stargazers:19Issues:0Issues:0

types_timecode

tools for drop frame video timecode

Language:JLicense:GPL-3.0Stargazers:2Issues:0Issues:0

fully-homomorphic-encryption

An FHE compiler for C++

Language:C++License:Apache-2.0Stargazers:3514Issues:0Issues:0

mlang

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

Language:OCamlLicense:GPL-3.0Stargazers:177Issues:0Issues:0

jod

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

Language:JLicense:NOASSERTIONStargazers:10Issues:0Issues:0

jacks

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

Language:HTMLLicense:UnlicenseStargazers:40Issues:0Issues:0

w31slack

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

Language:CLicense:MITStargazers:220Issues:0Issues:0

apalache

APALACHE: symbolic model checker for TLA+ and Quint

Language:ScalaLicense:Apache-2.0Stargazers:435Issues:0Issues:0

name-the-biggest-number

Language:CoqLicense:MITStargazers:62Issues:0Issues:0

bedrock

Coq library for verified low-level programming

Language:CoqLicense:NOASSERTIONStargazers:57Issues:0Issues:0

PUMPKIN-PATCH

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

Language:OCamlLicense:MITStargazers:51Issues:0Issues:0

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:CStargazers:540Issues:0Issues:0

OpenLoco

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

Language:C++License:MITStargazers:1273Issues:0Issues:0

OpenRCT2

An open source re-implementation of RollerCoaster Tycoon 2 🎢

Language:C++License:GPL-3.0Stargazers:13406Issues:0Issues:0

cryptol

Cryptol: The Language of Cryptography

Language:HaskellLicense:BSD-3-ClauseStargazers:1136Issues:0Issues:0

Arend

The Arend Proof Assistant

Language:JavaLicense:Apache-2.0Stargazers:688Issues:0Issues:0

PG

This repo is the new home of Proof General

Language:Emacs LispLicense:GPL-3.0Stargazers:491Issues:0Issues:0

book

V2 of Real World OCaml

Language:OCamlLicense:NOASSERTIONStargazers:1186Issues:0Issues:0

book

pest book

Language:JavaScriptLicense:Apache-2.0Stargazers:45Issues:0Issues:0

cranelift

Cranelift code generator

Stargazers:2489Issues:0Issues:0

QuickChick

Randomized Property-Based Testing Plugin for Coq

Language:CoqLicense:NOASSERTIONStargazers:253Issues:0Issues:0

simdjson

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

Language:C++License:Apache-2.0Stargazers:19274Issues:0Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:180699Issues:0Issues:0

study

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

Language:C++License:MITStargazers:4Issues:0Issues:0

coq-irrat2

Proof that sqrt(2) is irrational in Coq.

Language:HTMLStargazers:8Issues:0Issues:0

Dedukti

Implementation of the λΠ-calculus modulo rewriting

Language:OCamlLicense:NOASSERTIONStargazers:200Issues:0Issues:0

nixos

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

Language:ShellLicense:MITStargazers:175Issues:0Issues:0