Pinned Repositories
calyx
Intermediate Language (IL) for Hardware Accelerator Generators
Lad
A Discord bot that you can totally add to your server.
spec-miners
Research on the relationship between mined specifications and repository versions.
gvc0
Gradually Verified C0
diffeq-lang
Senior High School Research Project
janpaulpl.github.io
A cute lil' website I made :)
lci-scala
Untyped Lambda Calculus Interpreter in Scala (I made this to learn Scala)
MineSweeper
Command Line version of MineSweeper for Unix-like systems (With a timer!)
PythagoreanTriples-PascalsTriangle
Junior High School Research Project
RNAfoldml
An OCaml package for predicting RNA secondary structure
janpaulpl's Repositories
janpaulpl/RNAfoldml
An OCaml package for predicting RNA secondary structure
janpaulpl/diffeq-lang
Senior High School Research Project
janpaulpl/janpaulpl.github.io
A cute lil' website I made :)
janpaulpl/lci-scala
Untyped Lambda Calculus Interpreter in Scala (I made this to learn Scala)
janpaulpl/MineSweeper
Command Line version of MineSweeper for Unix-like systems (With a timer!)
janpaulpl/PythagoreanTriples-PascalsTriangle
Junior High School Research Project
janpaulpl/candleweb
janpaulpl/afp-notes
Advanced Functional Programming Summer 2023, My Notes
janpaulpl/blog
welcome. have a great one.
janpaulpl/bril
an educational compiler intermediate representation
janpaulpl/CalyxHardKAT
Final project for Cornell’s CS 6861 Introduction to Kleene Algebras
janpaulpl/Co-opMinesweeper
A co-op Minesweeper variant available at: https://coopminesweeper.com/
janpaulpl/CornellCSWiki
Student-run wiki for students interested in computer science at Cornell University
janpaulpl/cs6120
advanced compilers
janpaulpl/CS6120-Exercises
Implementation of exercises for CS 6120
janpaulpl/CS6120-Project
janpaulpl/DSM
Repository of "Deep Specification Mining" project
janpaulpl/egos-2000
A teaching operating system (2K LOC) on QEMU and RISC-V boards
janpaulpl/harmony-optimization
An optimization for Harmony: A Python-like programming language for testing and experimenting with concurrent programs.
janpaulpl/janpaulpl
My github bio
janpaulpl/Lad
A Discord bot that you can totally add to your server.
janpaulpl/orvods-go
fork of OverRustle VODs written in go
janpaulpl/photographs
janpaulpl/project
auxiliary documents for the Calyx open-source project
janpaulpl/rofi-collection
Beautiful collection of Rofi themes
janpaulpl/rss2hook
RSS feed webhook for Discord servers.