Trevor Elliott

Easy SMT solver interaction

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

Haskell irc library

A Haskell implementation of the OpenID 2.0 spec

Basic support for developing with the STM32F4 Discovery board

Source location helpers

A fast-forward based planner for Haskell

Layout implementations

Cooperative threading in llvm

A rogue-like game

My .vim directory

A raytracer in rust

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE

No description.

Music Player

Bazel rules for building tree-sitter grammars

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

Haskell bindings to the clutter library

No description.

Haskell support for vim

A lint for llvm-pretty

A haskell translation of hol-light

Water rippling in love2d

My experiments with löve

Haskell Sprite Library

No description.

No description.

Continuous rebuilding

Command-line task management package

A monad transformer library for Haskell

No description.

A pretty printing library for c++

Generalized tagged pointers

SketchUp importer for the UIUC Airfoil format

Experimental Story Planner

No description.

A jit compiler for befunge

A community-driven framework for managing your zsh configuration. Includes 120+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 120 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

A PDDL parser for haskell

Examples from "Handbook of Practical Logic and Automated Reasoning"

Graphics library for haskell

Foam airplane designs

A simple sqlite3 library for Haskell

A terminal user interface programming library similar to graphical interfaces such as GTK and QT.

Haskell EVE Online Bindings

A Haskell library for generating new names without threading state.

No description.

Haskell bindings to 0MQ (http://www.zeromq.org).

LLVM toolchain for bazel

A Ruby static code analyzer and formatter, based on the community Ruby style guide.

A library and program for the creation, management, and installation of schema updates (called migrations) for a relational database.

Open-source keyboard firmware for Atmel AVR and Arm USB families

Ruby Autoformatter!

An affordable split 36 keys keyboard

Go SDK for building Fastly Compute applications

Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.

Optimizer and compiler/toolchain library for WebAssembly

No description.

RFC process for Bytecode Alliance projects

Userspace for the open-source QMK keyboard firmware.

Dos assembly experiment

SVG topographical maps from bounding boxes

A language binding generator for WebAssembly interface types

No description.

Low level tooling for WebAssembly in Rust

No description.

A Cargo subcommand for creating WebAssembly components based on the component model proposal.

JavaScript tooling for working with WebAssembly Components

Neovim syntax module for wit

No description.

WASI Cryptography API Proposal

The WebAssembly Pre-Initializer

A new register allocator

NeoVim dark colorscheme inspired by the colors of the famous painting by Katsushika Hokusai.

No description.

OSS-Fuzz - continuous fuzzing for open source software.

generate release PRs based on the conventionalcommits.org spec

Standalone JIT-style runtime for WebAssembly, using Cranelift

No description.

parse spidermonkey bytecode.

Decision procedure for intuitionistic logic

The fastest feature-rich C++11/14/17/20 single-header testing framework

Live render workspace diagnostics in quickfix with current buf errors on top, buffer diagnostics in loclist

Read-only Git mirror of the Mercurial gecko repositories at https://hg.mozilla.org. How to contribute: http://bit.ly/contribute-code

Data-oriented and data-driven game engine written in Rust

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

No description.

A CLI workflow for the administration of Mac applications distributed as binaries

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

Experiments with rust, making an interpreter for a simple imp language

BDDs implemented in rust

A chiptune tracker

The Happy parser generator for Haskell

Terminal client for MatterMost chat system

No description.

Client side API for communicating with a mattermost server in Haskell

Easy development environment setup with ansible

A compatibility layer for base

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

No description.

Vector-graphic isometric tiles for an office setting

Experiments with fsharp

No description.

MAVLink micro air vehicle marshalling / communication library

No description.

No description.

Haskell Pretty-printer library

A Dependently Typed Functional Programming Language

Vim indent plugin for Haskell

Happy Haskell programming on Vim, powered by ghc-mod

simple peg parser generater for Haskell

Mirror of haddock repository. DO NOT SUBMIT PULL REQUESTS HERE

Tarjan's algorithm for computing strongly connected components

Raw bindings to libtcod

Haskell bindings for libtcod

No description.

Mirror of testsuite repository. DO NOT SUBMIT PULL REQUESTS HERE

A wrapper program around cabal and cabal-install that maintains sandboxed build environments.

No description.

Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.

Haskell bindings to GLU

Haskell bindings to GLUT

Haskell bindings to OpenGL

Haskell bindings to OpenGL (direct C bindings)