Giters
Scott Vokes (silentbicycle)

silentbicycle

Geek Repo

1k

followers

28

following

353

stars

Company:Fastly (@fastly)

Location:Grand Rapids, MI

Github PK Tool:Github PK Tool

Organizations
ThrowTheSwitch

Scott Vokes's starred repositories

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

Stargazers:282088Issues:5227Issues:639

wttr.in

:partly_sunny: The right way to check the weather

Language:PythonLicense:Apache-2.0Stargazers:24027Issues:230Issues:652

retdec

RetDec is a retargetable machine-code decompiler based on LLVM.

Language:C++License:MITStargazers:7864Issues:240Issues:841

dhall-lang

Maintainable configuration files

Language:DhallLicense:BSD-3-ClauseStargazers:4177Issues:63Issues:530

libfsm

DFA regular expression library & friends

Language:CLicense:BSD-2-ClauseStargazers:923Issues:24Issues:89

Smalltalk

By the Bluebook implementation of Smalltalk-80

Language:CLicense:MITStargazers:817Issues:37Issues:8

pboy

a small .pdf management tool with a command-line UI

Language:HaskellLicense:BSD-3-ClauseStargazers:734Issues:12Issues:29

enchive

Encrypted personal archives

Language:CLicense:UnlicenseStargazers:623Issues:27Issues:21

nes-test-roms

Collection of test ROMs for testing a NES emulator.

Language:AssemblyStargazers:469Issues:17Issues:2

tiny-bignum-c

Small portable multiple-precision unsigned integer arithmetic in C

Language:CLicense:UnlicenseStargazers:414Issues:20Issues:21

contracts

An implementation of contracts for Python.

Language:PythonLicense:LGPL-3.0Stargazers:341Issues:15Issues:14

checkedthreads

checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking

Language:CLicense:BSD-2-ClauseStargazers:286Issues:24Issues:0

testingRNG

Testing common random-number generators (RNG)

Language:C++License:Apache-2.0Stargazers:170Issues:10Issues:20

nezha

Differential fuzzing for the masses!

Language:C++Stargazers:150Issues:12Issues:4

emacs

the greatest emacs setup of all time

Language:Emacs LispStargazers:147Issues:7Issues:3

pure-fun

Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"

Language:OCamlLicense:NOASSERTIONStargazers:141Issues:11Issues:1

perffuzz

PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs

Language:CStargazers:133Issues:13Issues:8

talon_configs

Modules to be used with Talon for hands-free input

Language:PythonLicense:MITStargazers:100Issues:7Issues:25

bt.sh

bt.sh: timechart-like tracing with bash

Language:ShellLicense:MITStargazers:89Issues:6Issues:1

awesome-webservers

⚙️ Collection of one-liner static server

License:Apache-2.0Stargazers:77Issues:5Issues:0

mycroft

A prolog-like language with compound truth value logic

Language:LuaLicense:NOASSERTIONStargazers:69Issues:7Issues:2

go-sequitur

Sequitur algorithm for recognizing lexical structure in strings

Language:GoLicense:MITStargazers:39Issues:8Issues:2

dns-alloy

Modeling DNS with Alloy

Stargazers:37Issues:2Issues:0

j

💐 j is a subset of J, and an essay.

Language:RustLicense:GPL-3.0Stargazers:36Issues:2Issues:1

GI

Sequitur and RePair grammar induction algorithms implementation

Language:JavaLicense:GPL-2.0Stargazers:23Issues:5Issues:3

alloy-mode

Emacs major mode for Alloy

Language:Emacs LispLicense:GPL-2.0Stargazers:13Issues:1Issues:0

piperun

Run ELF binary code read from standard input.

Language:CLicense:BSD-2-ClauseStargazers:12Issues:2Issues:0

datalog

A simple, unoptimized, purely functional Datalog implementation.

Language:ClojureLicense:EPL-1.0Stargazers:12Issues:3Issues:0

long-s-mode.el

Manual and automatic long 's' inſertion in Emacs buffers

Language:Emacs LispLicense:GPL-2.0Stargazers:5Issues:3Issues:0

racket-content-defined-chunking

Content-Defined Chunking, after rsync / Rabin fingerprinting / FastCDC / Ronomon's algorithm.

Language:RacketStargazers:4Issues:3Issues:0