Pinned Repositories
anstatauxi
gosynth
lambda-map-drawer
Interactive Lambda Maps Toy
lambda-maps
macro_experiment
twelf-wasm
Run Twelf in the browser with wasm and WASI
upsilon-draft
Engineering game prototype
wordlike
Wordlike
jcreedcmu's Repositories
jcreedcmu/cheeto
jcreedcmu/lambda-map-drawer
Interactive Lambda Maps Toy
jcreedcmu/nes
NES development snippets from approx 2004
jcreedcmu/upsilon-draft
Engineering game prototype
jcreedcmu/midi-toy
jcreedcmu/lambda-maps
jcreedcmu/node-sdl
🎮 SDL bindings for Node.js
jcreedcmu/mathlib4
Work in progress mathlib port for lean 4
jcreedcmu/cubetest
jcreedcmu/wasm-sandbox
wasm experiments
jcreedcmu/maek
Like 'make' but somehow a bit mixed up.
jcreedcmu/leerraum.js
A PDF typesetting library with exact positioning and hyphenated line breaking
jcreedcmu/semisimplicial
Some thoughts about semisimplicial types in type theory
jcreedcmu/fontforge
Free (libre) font editor for Windows, Mac OS X and GNU+Linux
jcreedcmu/puppet-show
jcreedcmu/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
jcreedcmu/vscode-codeql
An extension for Visual Studio Code that adds rich language support for CodeQL
jcreedcmu/ql
The standard QL libraries and queries that power LGTM.com and other Semmle Products
jcreedcmu/vscode-codeql-starter
Starter workspace to use with the CodeQL extension for Visual Studio Code.
jcreedcmu/codeql-go
The CodeQL extractor and libraries for Go.
jcreedcmu/zuvodat
jcreedcmu/vscode-test
Testing utility for VS Code extensions
jcreedcmu/create-pull-request
A GitHub action to create a pull request for changes to your repository in the actions workspace.
jcreedcmu/tripotle
jcreedcmu/merlin-assembler
jcreedcmu/midieditor
Provides an interface to edit, record, and play Midi data
jcreedcmu/lambda-enum
Enumerating coloring constraints to test a conjecture
jcreedcmu/flix
The Flix Programming Language
jcreedcmu/macro_experiment
jcreedcmu/rust_macro_user