jeprinz

Pinned Repositories

APWorldQuiz.github.io
website
Language:JavaScript01
Deeper-Shallow-Embeddings
Code accompanying paper
Language:Agda11
MuffinProblem
A collection of code related to the muffin problem
Language:Python2 3 00
onlyjs
Allows HTML and CSS to be generated from a JSON representation
Language:JavaScript20
system-F
Language:Agda2 2 00
trivial
A minimalistic programming language with pattern matching
Language:Haskell00
TypeCraft
Language:PureScript2 1 00
VisionClass
Language:Objective-C00
PixItUp.github.io
Language:JavaScript10
Hardware
A toast module that makes accessing robot hardware easier
Language:Java00

jeprinz's Repositories

jeprinz/MuffinProblem
A collection of code related to the muffin problem
Language:Python2 3 00
jeprinz/system-F
Language:Agda2 2 00
jeprinz/TypeCraft
Language:PureScript2 1 00
jeprinz/Deeper-Shallow-Embeddings
Code accompanying paper
Language:Agda11
jeprinz/STLC
Language:Agda1 2 0
jeprinz/AlexaAnnoying
Its annoying
Language:JavaScript0 4 00
jeprinz/.emacs.d
Language:Emacs Lisp
jeprinz/BlocksDisplay
Language:JavaScript
jeprinz/CMSC-727-project
Language:Python1
jeprinz/DeeperShallowSyntax
Language:OCaml1
jeprinz/Dependently-Typed-Language
Embedding a dependently typed language in Agda using Agda types
Language:Agda
jeprinz/EggCity
Language:Kotlin
jeprinz/Embeddings
Organizing code I wrote in here, don't look at the older disorganized repositories
Language:Agda2 0
jeprinz/Exp
Embedding a dependently typed language in Agda version 2, this time using embedded types.
Language:Agda
jeprinz/ExpAttempt3
Language:Agda
jeprinz/ExpAttempt4
Language:Agda
jeprinz/GradualTypeInference
My inference algorithm for gradual types
Language:Haskell2 0
jeprinz/GradualTypeSystem2
This one has let polymorphism and the ability to parse entire files
Language:Haskell
jeprinz/hott-practice
Language:Agda
jeprinz/jeprinz.github.io
My website
Language:JavaScript
jeprinz/Lambda-calculus-compiler
Class project
Language:Racket2 0
jeprinz/LosertParticleTrackingCode
Particle tracking code for the granular physics experiment
Language:JavaScript
jeprinz/pantograph
Language:PureScript
jeprinz/QuickChick-Merging-Inductive-Relations-POPL2023-Artifact
Randomized Property-Based Testing Plugin for Coq
jeprinz/RGS-template
Template for http://lanl.arxiv.org/pdf/1706.09907v1
Language:Python
jeprinz/sterio
stereogram
Language:JavaScript
jeprinz/text-editor-for-zypr-study
Language:TypeScript
jeprinz/TypeInference
Language:Haskell1 0
jeprinz/TypeInference2
Language:Haskell
jeprinz/x-reactor
An npm module that allows for declarative reactive programming
Language:JavaScript2 0