Trevor Elliott (@elliottt)

Top repositories

1

dang

A compiler for a strongly typed, haskell-like functional language
Haskell
22
star
2

hsirc

Haskell irc library
Haskell
20
star
3

easy-smt

Easy SMT solver interaction
Rust
20
star
4

hsopenid

A Haskell implementation of the OpenID 2.0 spec
Haskell
19
star
5

stm32f4

Basic support for developing with the STM32F4 Discovery board
C
12
star
6

located

Source location helpers
Haskell
9
star
7

huff

A fast-forward based planner for Haskell
Haskell
8
star
8

llvm-threading

Cooperative threading in llvm
Haskell
8
star
9

rogue

A rogue-like game
Haskell
8
star
10

layout-rules

Layout implementations
Haskell
8
star
11

rendrs

A raytracer in rust
Rust
6
star
12

vim-config

My .vim directory
Vim Script
6
star
13

rules_tree_sitter

Bazel rules for building tree-sitter grammars
Starlark
5
star
14

clutter

Haskell bindings to the clutter library
Haskell
4
star
15

sprites

Haskell Sprite Library
Haskell
3
star
16

love-water

Water rippling in love2d
Lua
3
star
17

elliottt.github.io

HTML
3
star
18

two-trucs

A command-line tool for managing todo files written in markdown
Rust
3
star
19

love-experiments

My experiments with lรถve
Lua
3
star
20

llvm-pretty-lint

A lint for llvm-pretty
Haskell
3
star
21

hol-light-haskell

A haskell translation of hol-light
Haskell
3
star
22

din

Music Player
Haskell
3
star
23

vim-haskell

Haskell support for vim
Vim Script
3
star
24

tmux-config

Shell
2
star
25

aoc

C++
2
star
26

zsh-config

Shell
2
star
27

remake

Continuous rebuilding
Haskell
2
star
28

ak

Command-line task management package
Haskell
2
star
29

dotfiles

Lua
2
star
30

bembo

A pretty printing library for c++
C++
1
star
31

airplanes

Foam airplane designs
1
star
32

sketchup-airfoil

SketchUp importer for the UIUC Airfoil format
Ruby
1
star
33

funjit

A jit compiler for befunge
Rust
1
star
34

story

Experimental Story Planner
Haskell
1
star
35

blank-slate

Graphics library for haskell
Haskell
1
star
36

tagged_ptr

Generalized tagged pointers
C++
1
star
37

plar

Examples from "Handbook of Practical Logic and Automated Reasoning"
Haskell
1
star
38

pddl

A PDDL parser for haskell
Haskell
1
star