jpVinnie

programming language theory enthusiast

Cornell UniversityUnited States

Pinned Repositories

Lad
A Discord bot that you can totally add to your server.
Language:Dhall3 4 01
calyx
Intermediate Language (IL) for Hardware Accelerator Generators
Language:Rust356 15 68640
spec-miners
Research on the relationship between mined specifications and repository versions.
Language:Shell20
gvc0
Gradually Verified C0
Language:Scala64
diffeq-lang
Senior High School Research Project
Language:JavaScript10
jpvinnie.github.io
A cute lil' website I made :)
Language:HTML10
lci-scala
Untyped Lambda Calculus Interpreter in Scala (I made this to learn Scala)
Language:Scala10
PythagoreanTriples-PascalsTriangle
Junior High School Research Project
Language:C++1 0 00
RNAfoldml
An OCaml package for predicting RNA secondary structure
Language:HTML40

jpVinnie's Repositories

jpVinnie/RNAfoldml
An OCaml package for predicting RNA secondary structure
Language:HTML40
jpVinnie/diffeq-lang
Senior High School Research Project
Language:JavaScript10
jpVinnie/jpvinnie.github.io
A cute lil' website I made :)
Language:HTML10
jpVinnie/lci-scala
Untyped Lambda Calculus Interpreter in Scala (I made this to learn Scala)
Language:Scala10
jpVinnie/PythagoreanTriples-PascalsTriangle
Junior High School Research Project
Language:C++1 0 00
jpVinnie/blog
welcome. have a great one.
00
jpVinnie/rss2hook
RSS feed webhook for Discord servers.
Language:Python00
jpVinnie/candleweb
Language:HTML
jpVinnie/Co-opMinesweeper
A co-op Minesweeper variant available at: https://coopminesweeper.com/
jpVinnie/CornellCSWiki
Student-run wiki for students interested in computer science at Cornell University
jpVinnie/DSM
Repository of "Deep Specification Mining" project
jpVinnie/gradual-TEAL
Gradually Verified TEAL
Language:Scala
jpVinnie/jpVinnie
My github bio
jpVinnie/Lad
A Discord bot that you can totally add to your server.
jpVinnie/rofi-collection
Beautiful collection of Rofi themes