elliottt/dotfiles

Language: Lua - Size: 206 KB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 2 - Forks: 0

elliottt/two-trucs

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

Language: Rust - Size: 72.3 KB - Last synced: 23 days ago - Pushed: 23 days ago - Stars: 3 - Forks: 1

elliottt/meetings Fork of bytecodealliance/meetings

Size: 4.93 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

elliottt/easy-smt

Easy SMT solver interaction

Language: Rust - Size: 51.8 KB - Last synced: 5 days ago - Pushed: 8 months ago - Stars: 21 - Forks: 3

elliottt/rendrs

A raytracer in rust

Language: Rust - Size: 4.4 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 6 - Forks: 0

elliottt/rfcs Fork of bytecodealliance/rfcs

RFC process for Bytecode Alliance projects

Size: 770 KB - Last synced: 28 days ago - Pushed: 28 days ago - Stars: 0 - Forks: 0

elliottt/huff

A fast-forward based planner for Haskell

Language: Haskell - Size: 65.4 KB - Last synced: 15 days ago - Pushed: over 7 years ago - Stars: 8 - Forks: 1

elliottt/llvm-pretty

An llvm pretty printer inspired by the haskell llvm binding

Language: Haskell - Size: 459 KB - Last synced: 2 months ago - Pushed: 3 months ago - Stars: 25 - Forks: 14

elliottt/wit-bindgen Fork of bytecodealliance/wit-bindgen

A language binding generator for WebAssembly interface types

Size: 12.6 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

elliottt/hsirc

Haskell irc library

Language: Haskell - Size: 69.3 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 20 - Forks: 6

elliottt/regalloc2 Fork of bytecodealliance/regalloc2

A new register allocator

Size: 891 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

elliottt/svg-topo

SVG topographical maps from bounding boxes

Language: Nix - Size: 19.5 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

elliottt/rules_tree_sitter

Bazel rules for building tree-sitter grammars

Language: Starlark - Size: 21.5 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 4 - Forks: 2

elliottt/hello-wasi-http Fork of sunfishcode/hello-wasi-http

Size: 41 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

elliottt/wasm-tools Fork of bytecodealliance/wasm-tools

Low level tooling for WebAssembly in Rust

Language: Rust - Size: 12.1 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

elliottt/wasi-http Fork of WebAssembly/wasi-http

Size: 76.2 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

elliottt/cargo-component Fork of bytecodealliance/cargo-component

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

Size: 1.08 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

elliottt/klystrack Fork of kometbomb/klystrack

A chiptune tracker

Language: C - Size: 2.01 MB - Last synced: 9 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

elliottt/love-experiments

My experiments with löve

Language: Lua - Size: 256 KB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 3 - Forks: 0

elliottt/dang

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

Language: Haskell - Size: 1.26 MB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 22 - Forks: 4

elliottt/wit.nvim

Neovim syntax module for wit

Language: Vim Script - Size: 3.91 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

elliottt/stm32f4

Basic support for developing with the STM32F4 Discovery board

Language: C - Size: 369 KB - Last synced: about 1 year ago - Pushed: about 11 years ago - Stars: 14 - Forks: 16

elliottt/alexcrichton-merge-queue-test

Size: 10.7 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

elliottt/wasi-crypto Fork of WebAssembly/wasi-crypto

WASI Cryptography API Proposal

Size: 522 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

elliottt/aoc

Language: C++ - Size: 418 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 3 - Forks: 0

elliottt/wizer Fork of bytecodealliance/wizer

The WebAssembly Pre-Initializer

Size: 6.47 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

elliottt/kanagawa.nvim Fork of rebelot/kanagawa.nvim

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

Size: 4.13 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

elliottt/hsopenid

A Haskell implementation of the OpenID 2.0 spec

Language: Haskell - Size: 102 KB - Last synced: 20 days ago - Pushed: almost 7 years ago - Stars: 19 - Forks: 6

elliottt/elliottt.github.io

Language: HTML - Size: 4.52 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 3 - Forks: 1

elliottt/bytecodealliance.org Fork of bytecodealliance/bytecodealliance.org

Size: 18.4 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

elliottt/oss-fuzz Fork of google/oss-fuzz

OSS-Fuzz - continuous fuzzing for open source software.

Size: 34 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

elliottt/release-please Fork of googleapis/release-please

generate release PRs based on the conventionalcommits.org spec

Size: 6.57 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

elliottt/spidermonkey-wasi-embedding Fork of fastly/spidermonkey-wasi-embedding

Size: 20.5 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

elliottt/wasmtime Fork of bytecodealliance/wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift

Language: Rust - Size: 107 MB - Last synced: about 5 hours ago - Pushed: 1 day ago - Stars: 0 - Forks: 0

elliottt/bembo

A pretty printing library for c++

Language: C++ - Size: 26.4 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

elliottt/dactyl-manuform-tight Fork of okke-formsma/dactyl-manuform-tight

Language: Clojure - Size: 72.5 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

elliottt/vim-haskell

Haskell support for vim

Language: Vim script - Size: 17.6 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 3 - Forks: 2

elliottt/spidermonkey_bytecode_train Fork of Mas0nShi/spidermonkey_bytecode_train

parse spidermonkey bytecode.

Size: 7.81 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

elliottt/auto

Decision procedure for intuitionistic logic

Language: Rust - Size: 104 KB - Last synced: 3 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

elliottt/tagged_ptr

Generalized tagged pointers

Language: C++ - Size: 23.4 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

elliottt/funjit

A jit compiler for befunge

Language: Rust - Size: 37.1 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

elliottt/qmk_firmware Fork of qmk/qmk_firmware

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

Language: C - Size: 270 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 1

elliottt/story

Experimental Story Planner

Language: Haskell - Size: 203 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 2 - Forks: 2

elliottt/doctest Fork of doctest/doctest

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

Size: 5.94 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

elliottt/vimway-lsp-diag.nvim Fork of onsails/diaglist.nvim

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

Size: 10.2 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

elliottt/gecko-dev Fork of bytecodealliance/gecko-dev

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

Size: 3.71 GB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

elliottt/oh-my-zsh Fork of ohmyzsh/ohmyzsh

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.

Language: Shell - Size: 6.12 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

elliottt/ghc Fork of ghc/ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE

Language: Haskell - Size: 129 MB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 6 - Forks: 0

elliottt/vim-config

My .vim directory

Language: Vim script - Size: 175 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 6 - Forks: 4

elliottt/layout-rules

Layout implementations

Language: Haskell - Size: 3.91 KB - Last synced: 29 days ago - Pushed: over 4 years ago - Stars: 8 - Forks: 1

elliottt/amethyst Fork of amethyst/amethyst

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

Size: 40.9 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

elliottt/located

Source location helpers

Language: Haskell - Size: 6.84 KB - Last synced: 23 days ago - Pushed: over 7 years ago - Stars: 9 - Forks: 1

elliottt/pddl

A PDDL parser for haskell

Language: Haskell - Size: 141 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 1 - Forks: 0

elliottt/plar

Examples from "Handbook of Practical Logic and Automated Reasoning"

Language: Haskell - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

elliottt/remake

Continuous rebuilding

Language: Haskell - Size: 105 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 2 - Forks: 0

elliottt/blank-slate

Graphics library for haskell

Language: Haskell - Size: 104 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 1 - Forks: 0

elliottt/llvm-threading

Cooperative threading in llvm

Language: Haskell - Size: 235 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 8 - Forks: 3

elliottt/din

Music Player

Language: Haskell - Size: 170 KB - Last synced: about 1 year ago - Pushed: about 12 years ago - Stars: 3 - Forks: 0

elliottt/llvm-pretty-lint

A lint for llvm-pretty

Language: Haskell - Size: 101 KB - Last synced: about 1 year ago - Pushed: almost 13 years ago - Stars: 3 - Forks: 1

elliottt/hol-light-haskell

A haskell translation of hol-light

Language: Haskell - Size: 109 KB - Last synced: about 1 year ago - Pushed: about 13 years ago - Stars: 3 - Forks: 0

elliottt/rogue

A rogue-like game

Language: Haskell - Size: 902 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 8 - Forks: 0

elliottt/ak

Command-line task management package

Language: Haskell - Size: 112 KB - Last synced: about 1 year ago - Pushed: over 13 years ago - Stars: 2 - Forks: 0

elliottt/clutter

Haskell bindings to the clutter library

Language: Haskell - Size: 291 KB - Last synced: about 1 year ago - Pushed: over 14 years ago - Stars: 4 - Forks: 1

elliottt/tmux-config

Language: Shell - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 2 - Forks: 0

elliottt/monadlib Fork of yav/monadlib

A monad transformer library for Haskell

Language: Haskell - Size: 271 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 2 - Forks: 0

elliottt/sbv Fork of yav/sbv

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

Language: Haskell - Size: 5.13 MB - Last synced: about 1 year ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

elliottt/after-dark Fork of getzola/after-dark

Language: CSS - Size: 130 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

elliottt/love-water

Water rippling in love2d

Language: Lua - Size: 33.2 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 3 - Forks: 0

elliottt/homebrew-cask Fork of Homebrew/homebrew-cask

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

Size: 19.3 MB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

elliottt/stackage Fork of commercialhaskell/stackage

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

Language: Shell - Size: 2.37 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

elliottt/imp-sym

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

Language: Rust - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

elliottt/bddrs

BDDs implemented in rust

Language: Rust - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

elliottt/happy Fork of haskell/happy

The Happy parser generator for Haskell

Language: Haskell - Size: 1.74 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

elliottt/matterhorn Fork of matterhorn-chat/matterhorn

Terminal client for MatterMost chat system

Language: Haskell - Size: 1.45 MB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

elliottt/brick-talk

Size: 10.7 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

elliottt/mattermost-api Fork of matterhorn-chat/mattermost-api

Client side API for communicating with a mattermost server in Haskell

Language: Haskell - Size: 28.3 KB - Last synced: about 1 year ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

elliottt/setup-dev-env

Easy development environment setup with ansible

Language: Makefile - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

elliottt/base-compat Fork of haskell-compat/base-compat

A compatibility layer for base

Language: Haskell - Size: 289 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

elliottt/spacemacs Fork of syl20bnr/spacemacs

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

Language: Emacs Lisp - Size: 28.6 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

elliottt/generic-deriving Fork of dreixel/generic-deriving

Language: Haskell - Size: 243 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

elliottt/office-tiles Fork of aisamanra/office-tiles

Vector-graphic isometric tiles for an office setting

Language: Makefile - Size: 85 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

elliottt/IsoTiles

Experiments with fsharp

Language: F# - Size: 566 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

elliottt/brick-devlunch Fork of jtdaugherty/brick-devlunch

Language: Haskell - Size: 59.6 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

elliottt/mavlink Fork of mavlink/mavlink

MAVLink micro air vehicle marshalling / communication library

Language: Python - Size: 6.35 MB - Last synced: about 1 year ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

elliottt/simple-smt Fork of yav/simple-smt

Language: Haskell - Size: 115 KB - Last synced: about 1 year ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

elliottt/tries Fork of glguy/tries

Language: Haskell - Size: 244 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

elliottt/pretty Fork of haskell/pretty

Haskell Pretty-printer library

Language: Haskell - Size: 5.08 MB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

elliottt/Idris-dev Fork of idris-lang/Idris-dev

A Dependently Typed Functional Programming Language

Language: Haskell - Size: 20.8 MB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

elliottt/haskell-indent

Vim indent plugin for Haskell

Language: VimL - Size: 156 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

elliottt/ghcmod-vim Fork of eagletmt/ghcmod-vim

Happy Haskell programming on Vim, powered by ghc-mod

Language: VimL - Size: 230 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

elliottt/dbmigrations Fork of jtdaugherty/dbmigrations

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

Language: Haskell - Size: 426 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

elliottt/papillon Fork of YoshikuniJujo/papillon

simple peg parser generater for Haskell

Size: 2.94 MB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

elliottt/haddock Fork of ghc/haddock

Mirror of haddock repository. DO NOT SUBMIT PULL REQUESTS HERE

Language: Haskell - Size: 82 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

elliottt/airplanes

Foam airplane designs

Size: 95.7 KB - Last synced: about 1 year ago - Pushed: almost 12 years ago - Stars: 1 - Forks: 1

elliottt/sprites

Haskell Sprite Library

Language: Haskell - Size: 317 KB - Last synced: about 1 year ago - Pushed: over 13 years ago - Stars: 3 - Forks: 1

elliottt/zsh-config

Language: Shell - Size: 114 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 2 - Forks: 2

elliottt/sqlite Fork of GaloisInc/sqlite

A simple sqlite3 library for Haskell

Language: C - Size: 1.05 MB - Last synced: about 1 year ago - Pushed: about 12 years ago - Stars: 1 - Forks: 0

elliottt/GraphSCC Fork of yav/GraphSCC

Tarjan's algorithm for computing strongly connected components

Language: Haskell - Size: 62.5 KB - Last synced: about 1 year ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 0

elliottt/tcod-raw

Raw bindings to libtcod

Language: C - Size: 1.73 MB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 1

elliottt/haskell-libtcod Fork of lclarkmichalek/haskell-libtcod

Haskell bindings for libtcod

Language: Haskell - Size: 58.6 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0