Giters
Samuel Burnham (samuelburnham)

samuelburnham

Geek Repo

17

followers

6

following

23

stars

Github PK Tool:Github PK Tool

Organizations
argumentcomputer

Samuel Burnham's starred repositories

mold

Mold: A Modern Linker šŸ¦ 

Language:C++License:MITStargazers:13949Issues:109Issues:868

cv

Print-friendly, minimalist CV page

Language:TypeScriptLicense:MITStargazers:8787Issues:21Issues:29

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4370Issues:69Issues:1719

orgzly-android

Outliner for taking notes and managing to-do lists

Language:KotlinLicense:GPL-3.0Stargazers:2674Issues:80Issues:931

emacs-from-scratch

An example of a fully custom Emacs configuration developed live on YouTube!

Language:Emacs LispStargazers:1724Issues:46Issues:72

simplify

Issue tracker for Simplify Gmail, a browser extension to simplify Gmail's interface

Language:HTMLStargazers:1639Issues:27Issues:799

dotfiles

And I say hey, what's going on?

Language:NixLicense:MITStargazers:1613Issues:43Issues:27

VSpaceCode

Spacemacs like keybindings for Visual Studio Code

Language:TypeScriptLicense:MITStargazers:1401Issues:26Issues:215

Nova

Nova: High-speed recursive arguments from folding schemes

Language:RustLicense:MITStargazers:687Issues:24Issues:43

yatima-lang-alpha

A programming language for the decentralized web

Language:RustLicense:MITStargazers:448Issues:10Issues:32

lurk-rs

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

Language:RustLicense:Apache-2.0Stargazers:422Issues:14Issues:391

neptune

Rust Poseidon implementation.

Language:RustLicense:NOASSERTIONStargazers:264Issues:23Issues:48

awesome-folding

A curated list of zero-knowledge folding schemes

License:CC0-1.0Stargazers:260Issues:13Issues:4

r128gain

Fast audio loudness scanner & tagger (ReplayGain v2 / R128)

Language:PythonLicense:LGPL-2.1Stargazers:170Issues:8Issues:38

yatima

A zero-knowledge Lean4 compiler and kernel

Language:LeanLicense:MITStargazers:110Issues:8Issues:115

lake

**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.

Language:LeanLicense:Apache-2.0Stargazers:97Issues:14Issues:97

arecibo

An advanced fork of Nova

Language:RustLicense:MITStargazers:72Issues:13Issues:106

bellpepper

SNARK Circuit library

Language:RustLicense:NOASSERTIONStargazers:67Issues:12Issues:38

solidity-verifier

Solidity implementation of Nova proving system verifier

Language:SolidityLicense:Apache-2.0Stargazers:56Issues:10Issues:23

sized-chunks

Efficient sized chunk datatypes for immutable.rs

Language:RustLicense:MPL-2.0Stargazers:25Issues:5Issues:13

coreplus

The batteries for core that you never knew you needed.

Language:RustLicense:MITStargazers:12Issues:3Issues:0

gh-actions-runner

Self-hosted runner for Lurk CI in Docker

Language:ShellLicense:Apache-2.0Stargazers:2Issues:2Issues:3

user-manual

License:MITStargazers:1Issues:4Issues:0