Lemonsity

Learning Programming Languages, Interested in Mathematics,

@Lodestone-TeamCanada

Pinned Repositories

2LTT-Staged-Expository
Introduction to Staged Compilation and Two-Level Type Theory
Language:TeX10
Codeforces-Java
Solution to questions on Codeforces.com
Language:Java0 1 00
CS-SE-Mind-Dump
General Computer Science / Software Engineering Mind Dump
Language:C00
CSCA-Checkers
Checkers for CSC A level assignments
Language:C0 2 00
LUDOTest-C
A simple unit test API for C
Language:C0 2 00
MongoDB-Rust-Practice
Language:Rust0 2 00
NicksConjecture
Brute force test Nick's Conjecture
Language:Java0 2 00
NoteE
The source code of note-taking app NoteE
Language:Java0 1 00
PL-Mind-Dump
Language:Racket0 1 00
SimpleRouter
Language:C1 1 00

Lemonsity's Repositories

Lemonsity/2LTT-Staged-Expository
Introduction to Staged Compilation and Two-Level Type Theory
Language:TeX10
Lemonsity/SimpleRouter
Language:C1 1 00
Lemonsity/Codeforces-Java
Solution to questions on Codeforces.com
Language:Java0 1 00
Lemonsity/CSCA-Checkers
Checkers for CSC A level assignments
Language:C0 2 00
Lemonsity/LUDOTest-C
A simple unit test API for C
Language:C0 2 00
Lemonsity/MongoDB-Rust-Practice
Language:Rust0 2 00
Lemonsity/NicksConjecture
Brute force test Nick's Conjecture
Language:Java0 2 00
Lemonsity/NoteE
The source code of note-taking app NoteE
Language:Java0 1 00
Lemonsity/NoteE-Executable
A general note-taking app with GUI
Language:CSS0 1 00
Lemonsity/PL-Mind-Dump
Language:Racket0 1 00
Lemonsity/plfa.github.io
An introduction to programming language theory in Agda
Language:Agda00
Lemonsity/Staged-Expository
Expository Paper on Staged Compilation
Lemonsity/YZmS-CCC-Java
Language:Java1 0