Name: Jan-Paul Vincent Ramos-Dávila
Type: User
Company: Cornell University
Bio: programming language theory enthusiast
Twitter: JanPaulPL
Location: United States
Blog: jpramos.me
currently going through cs ft. math w/ phil @ cornell a∧s | "The most painful type of factory is a factory making factory"
I'm really interested in theoretical computer science and the deep rooted intersection between mathematics and computer science (especially with programming languages!) I want to learn more about category theory and type theory. During my free time I enjoy good movies and some normal music.
afp-notes
Advanced Functional Programming Summer 2023, My Notes
blog
welcome. have a great one.
bril
an educational compiler intermediate representation
candleweb
co-opminesweeper
A co-op Minesweeper variant available at: https://coopminesweeper.com/
cornellcswiki
Student-run wiki for students interested in computer science at Cornell University
cs6120
advanced compilers
cs6120-exercises
Implementation of exercises for CS 6120
cs6120-project
diffeq-lang
Senior High School Research Project
dsm
Repository of "Deep Specification Mining" project
egos-2000
A teaching operating system (2K LOC) on QEMU and RISC-V boards
harmony-optimization
An optimization for Harmony: A Python-like programming language for testing and experimenting with concurrent programs.
jpramos-me
My github bio
jpramos-me.github.io
A cute lil' website I made :)
lad
A Discord bot that you can totally add to your server.
lci-scala
Untyped Lambda Calculus Interpreter in Scala (I made this to learn Scala)
orvods-go
fork of OverRustle VODs written in go
pythagoreantriples-pascalstriangle
Junior High School Research Project
rnafoldml
An OCaml package for predicting RNA secondary structure
rofi-collection
Beautiful collection of Rofi themes
rss2hook
RSS feed webhook for Discord servers.
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
