Giters
mattjquinn

mattjquinn

Geek Repo

16

followers

0

following

59

stars

Github PK Tool:Github PK Tool

mattjquinn's starred repositories

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:174926Issues:7957Issues:0

firecracker

Secure and fast microVMs for serverless computing.

Language:RustLicense:Apache-2.0Stargazers:24631Issues:331Issues:1394

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:18840Issues:241Issues:813

pyxel

A retro game engine for Python

Language:RustLicense:MITStargazers:14169Issues:230Issues:374

OpenRCT2

An open source re-implementation of RollerCoaster Tycoon 2 🎢

Language:C++License:GPL-3.0Stargazers:13180Issues:204Issues:12157

fully-homomorphic-encryption

An FHE compiler for C++

Language:C++License:Apache-2.0Stargazers:3484Issues:89Issues:36

cranelift

Cranelift code generator

Stargazers:2484Issues:93Issues:379

OpenLoco

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

Language:C++License:MITStargazers:1234Issues:45Issues:692

book

V2 of Real World OCaml

Language:OCamlLicense:NOASSERTIONStargazers:1170Issues:46Issues:3069

cryptol

Cryptol: The Language of Cryptography

Language:HaskellLicense:BSD-3-ClauseStargazers:1121Issues:53Issues:1158

Arend

The Arend Proof Assistant

Language:JavaLicense:Apache-2.0Stargazers:689Issues:15Issues:248

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:538Issues:39Issues:18

PG

This repo is the new home of Proof General

Language:Emacs LispLicense:GPL-3.0Stargazers:483Issues:13Issues:526

apalache

APALACHE: symbolic model checker for TLA+ and Quint

Language:ScalaLicense:Apache-2.0Stargazers:417Issues:9Issues:1216

QuickChick

Randomized Property-Based Testing Plugin for Coq

Language:CoqLicense:NOASSERTIONStargazers:246Issues:17Issues:174

w31slack

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

Language:CLicense:MITStargazers:219Issues:7Issues:5

Dedukti

Implementation of the λΠ-calculus modulo rewriting

Language:OCamlLicense:NOASSERTIONStargazers:188Issues:17Issues:138

mlang

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

Language:OCamlLicense:GPL-3.0Stargazers:175Issues:9Issues:76

nixos

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

Language:ShellLicense:MITStargazers:173Issues:29Issues:148

name-the-biggest-number

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

bedrock

Coq library for verified low-level programming

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

PUMPKIN-PATCH

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

Language:OCamlLicense:MITStargazers:50Issues:10Issues:63

book

pest book

Language:JavaScriptLicense:Apache-2.0Stargazers:43Issues:10Issues:11

jacks

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

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

riscv-5stage-simulator

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

Language:RustLicense:GPL-3.0Stargazers:19Issues:3Issues:1

polyglot

The Polyglot LR parser generator

Language:JavaLicense:GPL-3.0Stargazers:12Issues:2Issues:9

jod

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

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

coq-irrat2

Proof that sqrt(2) is irrational in Coq.

Language:HTMLStargazers:8Issues:3Issues:0

study

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

Language:C++License:MITStargazers:4Issues:2Issues:1

types_timecode

tools for drop frame video timecode

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