-
Cornell University
- United States
-
10:23
(UTC -04:00) - janpaul.pl
- @JanPaulPL
Highlights
- Pro
-
janpaulpl.github.io Public
A cute lil' website I made :)
-
project Public
Forked from calyxir/projectauxiliary documents for the Calyx open-source project
UpdatedSep 8, 2024 -
CalyxHardKAT Public
Final project for Cornell’s CS 6861 Introduction to Kleene Algebras
TeX UpdatedAug 28, 2024 -
-
-
MineSweeper Public
Forked from unknownblueguy6/MineSweeperCommand Line version of MineSweeper for Unix-like systems (With a timer!)
-
-
harmony-optimization Public
Forked from harmonylang/harmonyAn optimization for Harmony: A Python-like programming language for testing and experimenting with concurrent programs.
Python BSD 3-Clause "New" or "Revised" License UpdatedNov 30, 2023 -
egos-2000 Public
Forked from yhzhang0128/egos-2000A teaching operating system (2K LOC) on QEMU and RISC-V boards
C MIT License UpdatedOct 23, 2023 -
-
bril Public
Forked from sampsyo/brilan educational compiler intermediate representation
Rust MIT License UpdatedSep 1, 2023 -
-
orvods-go Public
Forked from vyneer/orvods-gofork of OverRustle VODs written in go
JavaScript UpdatedJul 31, 2023 -
-
-
-
Co-opMinesweeper Public
Forked from Timovski/Co-opMinesweeperA co-op Minesweeper variant available at: https://coopminesweeper.com/
TypeScript The Unlicense UpdatedJul 7, 2022 -
lci-scala Public
Untyped Lambda Calculus Interpreter in Scala (I made this to learn Scala)
-
RNAfoldml Public
An OCaml package for predicting RNA secondary structure
-
diffeq-lang Public
Senior High School Research Project
-
PythagoreanTriples-PascalsTriangle Public archive
Junior High School Research Project
-
rofi-collection Public
Forked from Murzchnvok/rofi-collectionBeautiful collection of Rofi themes
UpdatedDec 19, 2021 -
CornellCSWiki Public
Forked from CornellCSWiki/CornellCSWikiStudent-run wiki for students interested in computer science at Cornell University
CSS Creative Commons Attribution Share Alike 4.0 International UpdatedOct 21, 2021 -
A Discord bot that you can totally add to your server.
Dhall MIT License UpdatedApr 19, 2021 -
-
DSM Public
Forked from hvdthong/DSMRepository of "Deep Specification Mining" project
Python UpdatedJul 27, 2018