There are no reviews yet. Be the first to send feedback to the community and the maintainers!
dang
A compiler for a strongly typed, haskell-like functional languagehsirc
Haskell irc libraryeasy-smt
Easy SMT solver interactionhsopenid
A Haskell implementation of the OpenID 2.0 specstm32f4
Basic support for developing with the STM32F4 Discovery boardhuff
A fast-forward based planner for Haskellllvm-threading
Cooperative threading in llvmrogue
A rogue-like gamelayout-rules
Layout implementationsrendrs
A raytracer in rustvim-config
My .vim directoryrules_tree_sitter
Bazel rules for building tree-sitter grammarsclutter
Haskell bindings to the clutter librarysprites
Haskell Sprite Librarylove-water
Water rippling in love2delliottt.github.io
two-trucs
A command-line tool for managing todo files written in markdownlove-experiments
My experiments with lΓΆvellvm-pretty-lint
A lint for llvm-prettyhol-light-haskell
A haskell translation of hol-lightdin
Music Playervim-haskell
Haskell support for vimtmux-config
aoc
zsh-config
remake
Continuous rebuildingak
Command-line task management packagedotfiles
bembo
A pretty printing library for c++airplanes
Foam airplane designssketchup-airfoil
SketchUp importer for the UIUC Airfoil formatfunjit
A jit compiler for befungestory
Experimental Story Plannerblank-slate
Graphics library for haskelltagged_ptr
Generalized tagged pointersplar
Examples from "Handbook of Practical Logic and Automated Reasoning"pddl
A PDDL parser for haskellLove Open Source and this site? Check out how you can help us