ad0

Pinned Repositories

4clojure-solving-bot
A bot that solves 4clojure problems
Language:Clojure60
dotfiles
Language:Lua00
dotvimrc
Language:Vim script0 2 00
dotxmonad
Language:Haskell1 2 00
fish-config
Language:Shell00
learnyounode-solutions
Language:JavaScript0 2 00
libc
Raw bindings to platform APIs for Rust
Language:Rust00
mdbook-checklist
mdbook preprocessor for generating checklists and indexes
Language:Rust00
OcamlMOOC
Pull-requestable repo for the OCaml MOOC subtitles
4 4 14
robozzle-hs
A small Haskell implementation of the famous RoboZZle puzzle game
Language:Haskell10

ad0's Repositories

ad0/4clojure-solving-bot
A bot that solves 4clojure problems
Language:Clojure60
ad0/OcamlMOOC
Pull-requestable repo for the OCaml MOOC subtitles
4 4 14
ad0/dotxmonad
Language:Haskell1 2 00
ad0/robozzle-hs
A small Haskell implementation of the famous RoboZZle puzzle game
Language:Haskell10
ad0/dotfiles
Language:Lua00
ad0/dotvimrc
Language:Vim script0 2 00
ad0/fish-config
Language:Shell00
ad0/learnyounode-solutions
Language:JavaScript0 2 00
ad0/libc
Raw bindings to platform APIs for Rust
Language:Rust00
ad0/mdbook-checklist
mdbook preprocessor for generating checklists and indexes
Language:Rust00
ad0/microcontest-lib2
An haskell implementation of the communication protocol to take challenges on http://www.microcontest.com/
Language:Haskell
ad0/mind-your-languages
Languages and security
ad0/nix
Rust friendly bindings to *nix APIs
Language:Rust
ad0/nixvim
Language:Nix
ad0/piccolo-mode
Poor man's emacs syntax mode for Piccolo
Language:Emacs Lisp
ad0/pirana
PI-calculus Resources ANAlyzer
Language:Haskell
ad0/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:C
ad0/smbios-lib
SMBIOS Library
Language:Rust
ad0/vk-bootstrap
Vulkan bootstraping library