Pinned Repositories
breach_core
A Browser written in JS. Free. Modular. Hackable.
dazzle
Dazzle: mobile web browser engineered from first-principle
dwm.vim
Tiled Window Management for Vim
envi
web-based keyboard-only distributed editor
exo_browser_save
The Scriptable Browser Platform
gym_fuzz1ng
OpenAI Gym environment for binary fuzzing based on afl
node-shell
Atom Shell bindings for nodeJS
repl
To JSON what Excel is to CSV
settle
Decentralized trust graph for value exchange without a blockchain
warp
Secure and simple terminal sharing
spolu's Repositories
spolu/breach_core
A Browser written in JS. Free. Modular. Hackable.
spolu/warp
Secure and simple terminal sharing
spolu/dwm.vim
Tiled Window Management for Vim
spolu/repl
To JSON what Excel is to CSV
spolu/settle
Decentralized trust graph for value exchange without a blockchain
spolu/dazzle
Dazzle: mobile web browser engineered from first-principle
spolu/gym_fuzz1ng
OpenAI Gym environment for binary fuzzing based on afl
spolu/dump
spolu/donkey
spolu/fuzz1ng
spolu/hol-light
The HOL Light theorem prover (moved from Google code)
spolu/journal
Projects, posts and notes
spolu/lean
Lean Theorem Prover
spolu/mathzoo
Lean mathzoo
spolu/ArPa
ArPa makes you faster
spolu/ce1
CE1 Maths exercises
spolu/go-coinbase-exchange
Go (golang) Client for the Coinbase GDAX API https://www.gdax.com
spolu/homebrew-core
🍻 Default formulae for the missing package manager for macOS
spolu/homebrew-tap
Homebrew tap from spolu
spolu/lnd
Lightning Network Daemon ⚡️
spolu/mathlib
Lean mathematical components library
spolu/neuromancer
Adaptive auto-complete targeting muscle-memory
spolu/nw3
spolu/pgm
PGM x Transformer
spolu/pytorch-pretrained-BERT
The Big-&-Extending-Repository-of-Transformers: PyTorch pretrained models for Google's BERT, OpenAI GPT & GPT-2 and Google/CMU Transformer-XL.
spolu/set.mm
Metamath source file for logic and set theory
spolu/sp4rse
spolu/water_rocket_simulation
Vibe-coding to prepare this summer water rockets
spolu/z3ta
spolu/z3ta.site