4-day longest streak
-
atnnn.com ★ PINNED
My blog
CSS ★ 3 3mo agoExplain → -
extol ★ PINNED ⑂
Extol Programming Language
★ 0 5y agoExplain → -
basilica-test ★ PINNED
Image recognition playground
JavaScript ★ 1 7y agoExplain → -
uint_mersenne ★ PINNED
C++ unsigned integers with undefined overflow
C++ ★ 1 6y agoExplain → -
tomy ★ PINNED
Tomy, a prolog bot for IRC
Prolog ★ 9 12y agoExplain → -
rethinkdb-stream ★ PINNED
Proof of concept for streaming binary data using RethinkDB changes
Python ★ 139 11y agoExplain → -
librethinkdbxx
RethinkDB driver for C++
C++ ★ 100 8y agoExplain → -
haskell-rethinkdb
RethinkDB client library for Haskell
Haskell ★ 93 9y agoExplain → -
rethinkdb-webui
Stand alone Web UI for RethinkDB
JavaScript ★ 11 9y agoExplain → -
twitch-stream
Helper scripts for live coding on Twitch
Shell ★ 8 5y agoExplain → -
haxpuck
HaxBall Stadium Editor
JavaScript ★ 7 6y agoExplain → -
Theremin
No description.
C ★ 3 9y agoExplain → -
codejam
No description.
Haskell ★ 2 13y agoExplain → -
cabal-ghci
cabal-ghci
Haskell ★ 2 9y agoExplain → -
isabelle-learn
No description.
Isabelle ★ 2 9y agoExplain → -
release-based-workflow
No description.
JavaScript ★ 1 4y agoExplain → -
home
My ~
Shell ★ 1 4mo agoExplain → -
degu
No description.
Haskell ★ 1 13y agoExplain → -
type
No description.
Haskell ★ 1 12y agoExplain → -
persistent-rethinkdb
No description.
Haskell ★ 1 11y agoExplain → -
node-protobuf
No description.
C++ ★ 1 12y agoExplain → -
ciao ⑂
Public read-only mirror of the Ciao repository
Prolog ★ 1 10y agoExplain → -
him-cellwriter
Cellwriter handwriting input plugin for N900
C ★ 1 12y agoExplain → -
mars
Explore mars
JavaScript ★ 1 13y agoExplain → -
forestadventure
Forest Adventure
JavaScript ★ 1 12y agoExplain → -
rethinkdb ⑂
An open-source, distributed system.
JavaScript ★ 1 8y agoExplain → -
hamlet ⑂
Haml-like template files that are compile-time checked
Haskell ★ 1 15y agoExplain → -
persistent ⑂
Persistence interface for Haskell allowing multiple storage methods.
C ★ 1 14y agoExplain → -
retro-handheld-game-jam-2025
No description.
JavaScript ★ 0 1y agoExplain → -
typescript ⑂
TypeScript fork
★ 0 1y agoExplain → -
serge ⑂
Continuous localization platform
★ 0 5y agoExplain → -
TheGiddyLimit.github.io ⑂
A site dedicated to making playing games with your friends as easy as possible.
JavaScript ★ 0 7y agoExplain → -
lazypdf
Go/MuPDF mutli-theaded rasterizer engine
Go ★ 0 8y agoExplain → -
ChocolateyPackages ⑂
Chocolatey packages maintained by me
★ 0 6y agoExplain → -
winsdk-10 ⑂
No description.
★ 0 8y agoExplain → -
conan-wtl ⑂
No description.
★ 0 6y agoExplain → -
path_convert ⑂
MSYS2 new path convert procedure
★ 0 9y agoExplain → -
lean-sandbox
lean-sandbox
Lean ★ 0 6y agoExplain → -
mathlib ⑂
Lean mathematical components library
★ 0 6y agoExplain → -
rapidjson ⑂
A fast JSON parser/generator for C++ with both SAX/DOM style API
C++ ★ 0 6y agoExplain → -
rethinkdb-nix ⑂
Nix-based RethinkDB CI
Nix ★ 0 8y agoExplain → -
perl
Perl 5
Perl ★ 0 7y agoExplain → -
nix ⑂
Nix, the purely functional package manager
C++ ★ 0 5y agoExplain → -
jira-dependency-graph ⑂
Graph visualizer for JIRA tickets' dependencies
Python ★ 0 7y agoExplain → -
ikos ⑂
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
C++ ★ 0 7y agoExplain → -
atnnn.github.io
No description.
★ 0 7y agoExplain → -
legacy-old-hercules ⑂
Abandoned
Haskell ★ 0 7y agoExplain → -
stackage ⑂
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Shell ★ 0 11y agoExplain → -
gtranslate ⑂
gtranslate is a Firefox addon that translates the selected text using Google Translate.
JavaScript ★ 0 11y agoExplain → -
lean ⑂
Lean Theorem Prover
C++ ★ 0 8y agoExplain → -
excomp ⑂
Batch for Excel 2013 SPREADSHEETCOMPARE tool
Batchfile ★ 0 12y agoExplain → -
Mecklenburg-County-GeoPortal ⑂
The source code for Mecklenburg County's GeoPortal.
CSS ★ 0 9y agoExplain → -
docs ⑂
RethinkDB documentation
CSS ★ 0 9y agoExplain → -
rethinkdb-ruby
Ruby driver fro RethinkDB
Ruby ★ 0 9y agoExplain → -
rethinkdb-docs
No description.
★ 0 9y agoExplain → -
rethinkdb-python
Python driver for RethinkDB
Python ★ 0 9y agoExplain → -
rethinkdb-javascript
Javascript driver for RethinkDB
JavaScript ★ 0 9y agoExplain → -
rethinkdb-java
Java driver for RethinkDB
Java ★ 0 9y agoExplain → -
nixpkgs ⑂
Nix Packages collection
Nix ★ 0 3y agoExplain → -
hopes ⑂
Higher Order Prolog with Extensional Semantics
Haskell ★ 0 10y agoExplain → -
cmpd-holiday-gift-backend ⑂
Laravel-based backend for the CMPD Holiday Gift Project
PHP ★ 0 10y agoExplain → -
Eve ⑂
Better tools for thought
TypeScript ★ 0 10y agoExplain → -
styleguide ⑂
Style guides for Google-originated open-source projects
HTML ★ 0 10y agoExplain → -
adopt-a-street ⑂
Adopt A Street
JavaScript ★ 0 10y agoExplain → -
rethinkdb_windows_deps
No description.
★ 0 10y agoExplain → -
re2
Fork of google/re2 for Visual C++
C++ ★ 0 11y agoExplain → -
freight ⑂
A modern take on the Debian archive.
Shell ★ 0 10y agoExplain → -
homebrew ⑂
The missing package manager for OS X.
Ruby ★ 0 11y agoExplain → -
old-code
No description.
C ★ 0 11y agoExplain → -
go-ipfs ⑂
ipfs implementation in go
Go ★ 0 10y agoExplain → -
z3 ⑂
The Z3 Theorem Prover
C++ ★ 0 11y agoExplain → -
waterline-rethinkdb ⑂
Boilerplate for a Sails.js adapter
JavaScript ★ 0 12y agoExplain → -
rethinkdb-net ⑂
A C# / .NET client driver for RethinkDB.
C# ★ 0 13y agoExplain → -
minxmod ⑂
Minimalistic concurrent modeler
DOT ★ 0 13y agoExplain → -
homebrew-rethinkdb
Do not use this tap, use the rethinkdb formula from homebrew
Ruby ★ 0 13y agoExplain → -
sandbox
Sandbox repository for playing with git features
★ 0 12y agoExplain →
No repos match these filters.