Pinned Repositories
alexa-skills-kit-java
SDK and example code for building voice-enabled skills for the Amazon Echo.
chip8
ocaml chip8 interpreter
cis6700-23sp
CIS 6700, Spring 2023
HaXtal
fractal generator app
lambdaboy
gameboy emulator written in Haskell
lucid
nbe
normalization by evaluation in Agda
python-snake
snake in python (for sake of the pun)
rusty-chat
chat server written in Rust
cbpv-in-agda
Formalization of Call-By-Push-Value, augmented with effect tracking
emmanueljs1's Repositories
emmanueljs1/nbe
normalization by evaluation in Agda
emmanueljs1/chip8
ocaml chip8 interpreter
emmanueljs1/lambdaboy
gameboy emulator written in Haskell
emmanueljs1/python-snake
snake in python (for sake of the pun)
emmanueljs1/HaXtal
fractal generator app
emmanueljs1/lucid
emmanueljs1/rusty-chat
chat server written in Rust
emmanueljs1/alexa-skills-kit-java
SDK and example code for building voice-enabled skills for the Amazon Echo.
emmanueljs1/cis6700-23sp
CIS 6700, Spring 2023
emmanueljs1/website
this is my website's code
emmanueljs1/conceptual-mathematics
working through conceptual mathematics: a first introduction to categories
emmanueljs1/cooltt
😎TT
emmanueljs1/coq-refinements
emmanueljs1/coq-vim-conceal
conceal common symbols/keywords in coq into symbols in vim
emmanueljs1/crypto-library
cryptography library written in python
emmanueljs1/dotfiles
my dotfiles
emmanueljs1/en.bee.ee
nbe 2: return of the electric boogaloo
emmanueljs1/eventosaurus
web app for inviting people to events and keeping track of them
emmanueljs1/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
emmanueljs1/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
emmanueljs1/lambda-calculus
Proof of the Church-Rosser theorem using locally nameless representation in Coq
emmanueljs1/LegendOfNinja
A game about ninjas
emmanueljs1/nbe-for-mltt
Normalization by Evaluation for Martin-Löf Type Theory
emmanueljs1/ocaml-bwd
🔙 Backward lists for OCaml
emmanueljs1/ott-vim
Vim syntax highlighting for the ott programming languages design tool
emmanueljs1/PennHerniaRiskCalculator
an iOS app that determines a patients risk of getting a postoperative hernia based on research data
emmanueljs1/stormwater-game
educational game about green stormwater infrastructure
emmanueljs1/time2assemble
iOS app for deciding a time to assemble
emmanueljs1/wip
proofs without a home