Trevor Elliott (elliottt)

elliottt

Geek Repo

Location:Portland, OR

Home Page:http://elliottt.github.io

Github PK Tool:Github PK Tool


Organizations
bytecodealliance
haskell-opengl

Trevor Elliott's repositories

llvm-pretty

An llvm pretty printer inspired by the haskell llvm binding

Language:HaskellLicense:NOASSERTIONStargazers:26Issues:11Issues:53

easy-smt

Easy SMT solver interaction

Language:RustLicense:Apache-2.0Stargazers:20Issues:4Issues:11

hsirc

Haskell irc library

Language:HaskellLicense:NOASSERTIONStargazers:20Issues:7Issues:7

rules_tree_sitter

Bazel rules for building tree-sitter grammars

Language:StarlarkLicense:Apache-2.0Stargazers:4Issues:3Issues:2

two-trucs

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

Language:RustLicense:MITStargazers:3Issues:0Issues:0
Language:C++Stargazers:2Issues:5Issues:0
Language:LuaLicense:MITStargazers:2Issues:3Issues:0

funjit

A jit compiler for befunge

Language:RustStargazers:1Issues:3Issues:0

story

Experimental Story Planner

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:4Issues:2

auto

Decision procedure for intuitionistic logic

Language:RustStargazers:0Issues:2Issues:0

cargo-component

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

License:Apache-2.0Stargazers:0Issues:0Issues:0

dos-asm

Dos assembly experiment

Language:MakefileStargazers:0Issues:0Issues:0

gecko-dev

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

License:NOASSERTIONStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

jco

JavaScript tooling for working with WebAssembly Components

License:Apache-2.0Stargazers:0Issues:0Issues:0

kanagawa.nvim

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

Language:LuaLicense:MITStargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0

qmk_firmware

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

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

qmk_userspace

Userspace for the open-source QMK keyboard firmware.

License:GPL-2.0Stargazers:0Issues:0Issues:0

regalloc2

A new register allocator

License:Apache-2.0Stargazers:0Issues:0Issues:0
License:Apache-2.0Stargazers:0Issues:0Issues:0

svg-topo

SVG topographical maps from bounding boxes

Language:NixStargazers:0Issues:0Issues:0

wasi-crypto

WASI Cryptography API Proposal

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

wasm-tools

Low level tooling for WebAssembly in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

wit-bindgen

A language binding generator for WebAssembly interface types

License:Apache-2.0Stargazers:0Issues:0Issues:0

wit.nvim

Neovim syntax module for wit

Language:Vim ScriptLicense:MITStargazers:0Issues:0Issues:0

wizer

The WebAssembly Pre-Initializer

License:Apache-2.0Stargazers:0Issues:0Issues:0