elliottt/sprites

Stars
3
Rank 3,897,075 (Top 79 %)
Language
Haskell
Created almost 14 years ago
Updated almost 14 years ago

elliottt/sprites

elliottt

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Haskell Sprite Library

dang

A compiler for a strongly typed, haskell-like functional language

hsirc

Haskell irc library

easy-smt

Easy SMT solver interaction

hsopenid

A Haskell implementation of the OpenID 2.0 spec

stm32f4

Basic support for developing with the STM32F4 Discovery board

located

Source location helpers

huff

A fast-forward based planner for Haskell

llvm-threading

Cooperative threading in llvm

rogue

A rogue-like game

layout-rules

Layout implementations

rendrs

A raytracer in rust

vim-config

My .vim directory

ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE

rules_tree_sitter

Bazel rules for building tree-sitter grammars

clutter

Haskell bindings to the clutter library

love-water

Water rippling in love2d

elliottt.github.io

two-trucs

A command-line tool for managing todo files written in markdown

love-experiments

My experiments with löve

llvm-pretty-lint

A lint for llvm-pretty

hol-light-haskell

A haskell translation of hol-light

din

vim-haskell

Haskell support for vim

tmux-config

aoc

zsh-config

remake

Continuous rebuilding

ak

Command-line task management package

dotfiles

pddl

A PDDL parser for haskell

bembo

A pretty printing library for c++

airplanes

Foam airplane designs

sketchup-airfoil

SketchUp importer for the UIUC Airfoil format

funjit

A jit compiler for befunge

story

Experimental Story Planner

blank-slate

Graphics library for haskell

tagged_ptr

Generalized tagged pointers

plar

Examples from "Handbook of Practical Logic and Automated Reasoning"