Giters
Jan-Paul Vincent Ramos-Dávila (jpVinnie)

jpVinnie

Geek Repo

32

followers

83

following

138

stars

Company:Cornell University

Location:United States

Home Page:jpramos.me

Twitter:@JanPaulV

Github PK Tool:Github PK Tool

Organizations
cucapra
gradual-verification

Jan-Paul Vincent Ramos-Dávila's repositories

RNAfoldml

An OCaml package for predicting RNA secondary structure

Language:HTMLLicense:MITStargazers:4Issues:0Issues:0

diffeq-lang

Senior High School Research Project

Language:JavaScriptLicense:MITStargazers:1Issues:0Issues:0

jpvinnie.github.io

A cute lil' website I made :)

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

lci-scala

Untyped Lambda Calculus Interpreter in Scala (I made this to learn Scala)

Language:ScalaStargazers:1Issues:0Issues:0

PythagoreanTriples-PascalsTriangle

Junior High School Research Project

Language:C++License:MITStargazers:1Issues:0Issues:0

blog

welcome. have a great one.

Stargazers:0Issues:0Issues:0

rss2hook

RSS feed webhook for Discord servers.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

candleweb

Language:HTMLStargazers:0Issues:0Issues:0

Co-opMinesweeper

A co-op Minesweeper variant available at: https://coopminesweeper.com/

License:UnlicenseStargazers:0Issues:0Issues:0

CornellCSWiki

Student-run wiki for students interested in computer science at Cornell University

License:CC-BY-SA-4.0Stargazers:0Issues:0Issues:0

DSM

Repository of "Deep Specification Mining" project

Stargazers:0Issues:0Issues:0

gradual-TEAL

Gradually Verified TEAL

Language:ScalaStargazers:0Issues:0Issues:0

jpVinnie

My github bio

Stargazers:0Issues:0Issues:0

Lad

A Discord bot that you can totally add to your server.

License:MITStargazers:0Issues:0Issues:0

rofi-collection

Beautiful collection of Rofi themes

Stargazers:0Issues:0Issues:0