AtnNn

Etienne Laurin's repositories

librethinkdbxx

RethinkDB driver for C++

Language:C++NOASSERTION98 18 28

twitch-stream

Helper scripts for live coding on Twitch

Language:Shell8 30

haxpuck

HaxBall Stadium Editor

Language:JavaScript6 5 11

atnnn.com

My blog

Language:CSS2 30

basilica-test

Image recognition playground

Language:JavaScript1 30

rethinkdb

An open-source, distributed system.

Language:JavaScriptNOASSERTION1 30

uint_mersenne

C++ unsigned integers with undefined overflow

Language:C++BSD-2-Clause1 30

80x25.org

Language:JavaScript020

atnnn.github.io

030

ChocolateyPackages

Chocolatey packages maintained by me

Language:PowerShellMIT020

conan-wtl

Language:PythonMIT020

extol

Extol Programming Language

Language:Prolog020

home

My ~

Language:Shell030

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Language:C++NOASSERTION030

jira-dependency-graph

Graph visualizer for JIRA tickets' dependencies

Language:PythonMIT030

lazypdf

Go/MuPDF mutli-theaded rasterizer engine

Language:GoNOASSERTION000

lean

Lean Theorem Prover

Language:C++Apache-2.0030

lean-sandbox

Language:Lean030

legacy-old-hercules

Abandoned

Language:Haskell030

mathlib

Lean mathematical components library

Apache-2.0000

nix

Nix, the purely functional package manager

Language:C++LGPL-2.103 24

nixpkgs

Nix Packages collection

Language:NixNOASSERTION000

path_convert

MSYS2 new path convert procedure

Language:C++020

perl

Perl 5

Language:PerlNOASSERTION030

rapidjson

A fast JSON parser/generator for C++ with both SAX/DOM style API

Language:C++NOASSERTION000

release-based-workflow

Language:JavaScriptMIT02 1

rethinkdb-nix

Nix-based RethinkDB CI

Language:NixBSD-2-Clause020

serge

Continuous localization platform

Language:PerlNOASSERTION020

TheGiddyLimit.github.io

A site dedicated to making playing games with your friends as easy as possible.

Language:JavaScriptMIT030

winsdk-10

000