Pinned Repositories
aptitude
debian aptitude clone
coq
old git-svn mirror of Coq + branches -- use https://github.com/coq/coq instead
debian-codeville
debian-gcc-doc
debian-unifont
Debian packaging for GNU Unifont
dh-make
edlinas
The interactive assembler/simulator used in the book "Linux assembly language programming". Strangely enough, it runs on DOS and is written in QuickBasic.
ohcount
The Ohloh source code line counter
screen
GNU screen - screen manager with VT100/ANSI terminal emulation
ztools
The Infocom Toolkit - archived in favor of the maintainer's repostory, https://gitlab.com/russotto/ztools
SamB's Repositories
SamB/abracadabra
Automated refactorings for VS Code (JS & TS) ✨ It's magic ✨
SamB/agda-categories
A new Categories library for Agda
SamB/agda-stdlib
The Agda standard library
SamB/agdarsec
Total Parser Combinators in Agda
SamB/astexplorer
A web tool to explore the ASTs generated by various parsers.
SamB/astx
Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring
SamB/bitburner-src
Bitburner source code.
SamB/csswg-drafts
CSS Working Group Editor Drafts
SamB/cvs2svn
Migrate CVS repositories to Subversion or Git. This site supersedes the old tigris.org site, which has shut down.
SamB/developer.chrome.com
Chrome Developers
SamB/dnSpy-Unity-mono
Fork of Unity mono that's used to compile mono.dll with debugging support enabled
SamB/dotnet-api-docs
.NET API reference documentation (.NET 5+, .NET Core, .NET Framework)
SamB/es-howto
How to read the ECMAScript specification (ECMA-262)
SamB/faustdoc
The Faust Online Documentation
SamB/hhvm
A virtual machine for executing programs written in Hack.
SamB/hrm-profile-tool
A tool to work with HRM's profiles.bin file
SamB/html-build
Build scripts for https://github.com/whatwg/html
SamB/jsdom
A JavaScript implementation of various web standards, for use with Node.js
SamB/json-schema-viewer
A JSON Schema Viewer for any JSON Schema on earth.
SamB/nigeltao.github.io
SamB/racket-icfp2k-gml
Racket impl. of ICFP 2000 contest's GML raytracing language
SamB/sgtpuzzles
Android port of Simon Tatham's Puzzles
SamB/sphinx
Main repository for the Sphinx documentation builder
SamB/tin-summer
Find build artifacts that are taking up disk space
SamB/typescript-eslint
:sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript
SamB/uPlot
📈 A small, fast chart for time series, lines, areas, ohlc & bars
SamB/vcvars-rs
SamB/vscode-astx
structural search and replace for JavaScript and TypeScript
SamB/vscode-pull-request-github
GitHub Pull Requests for Visual Studio Code
SamB/vscode-restructuredtext
reStructuredText Language Support in Visual Studio Code