Pinned Repositories
atnnn.com
My blog
basilica-test
Image recognition playground
haskell-rethinkdb
RethinkDB client library for Haskell
librethinkdbxx
RethinkDB driver for C++
rethinkdb-stream
Proof of concept for streaming binary data using RethinkDB changes
rethinkdb-webui
Stand alone Web UI for RethinkDB
tomy
Tomy, a prolog bot for IRC
twitch-stream
Helper scripts for live coding on Twitch
uint_mersenne
C++ unsigned integers with undefined overflow
extol
Extol Programming Language
AtnNn's Repositories
AtnNn/librethinkdbxx
RethinkDB driver for C++
AtnNn/twitch-stream
Helper scripts for live coding on Twitch
AtnNn/haxpuck
HaxBall Stadium Editor
AtnNn/atnnn.com
My blog
AtnNn/basilica-test
Image recognition playground
AtnNn/rethinkdb
An open-source, distributed system.
AtnNn/uint_mersenne
C++ unsigned integers with undefined overflow
AtnNn/80x25.org
AtnNn/atnnn.github.io
AtnNn/ChocolateyPackages
Chocolatey packages maintained by me
AtnNn/conan-wtl
AtnNn/extol
Extol Programming Language
AtnNn/home
My ~
AtnNn/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
AtnNn/jira-dependency-graph
Graph visualizer for JIRA tickets' dependencies
AtnNn/lazypdf
Go/MuPDF mutli-theaded rasterizer engine
AtnNn/lean
Lean Theorem Prover
AtnNn/lean-sandbox
lean-sandbox
AtnNn/legacy-old-hercules
Abandoned
AtnNn/mathlib
Lean mathematical components library
AtnNn/nix
Nix, the purely functional package manager
AtnNn/nixpkgs
Nix Packages collection
AtnNn/path_convert
MSYS2 new path convert procedure
AtnNn/perl
Perl 5
AtnNn/rapidjson
A fast JSON parser/generator for C++ with both SAX/DOM style API
AtnNn/release-based-workflow
AtnNn/rethinkdb-nix
Nix-based RethinkDB CI
AtnNn/serge
Continuous localization platform
AtnNn/TheGiddyLimit.github.io
A site dedicated to making playing games with your friends as easy as possible.
AtnNn/winsdk-10