elliottt/pddl

Stars
1
Language
Haskell
License
BSD 3-Clause "New...
Created about 10 years ago
Updated almost 10 years ago

elliottt/pddl

elliottt

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

A PDDL parser for haskell

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

rules_tree_sitter

Bazel rules for building tree-sitter grammars

clutter

Haskell bindings to the clutter library

sprites

Haskell Sprite 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

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"