Discover @elliottt Open Source projects

Trevor Elliott (@elliottt)

elliottt

Stars
244
Global Rank 103,093 (Top 4 %)
Followers 106
Following 48
Registered almost 16 years ago
Most used languages

Haskell
51.4 %

Rust
10.8 %

C++
8.1 %

Lua
8.1 %

Vim Script
5.4 %

Shell
5.4 %

C
2.7 %

HTML
2.7 %

Ruby
2.7 %

Starlark 2.7 %
Location 🇺🇸 United States
Country Total Rank 25,060
Country Ranking

Starlark 101

Haskell
198

Vim Script
1,058

Lua
1,634

Rust
2,062

C
7,382

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

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"