kaonn

Pinned Repositories

0
Language:TeX0 3 00
1
Language:OCaml0 2 00
15462-Final-Project
IFS
Language:C++00
2
Language:TeX0 2 00
3
0 2 00
5
Language:Coq0 2 00
6
Language:TeX0 2 00
7
Language:OCaml0 3 00
AES
An implementation of Finite Fields in C. Going to become a full AES implementation
Language:C0 2 00
agda-T-canonicity-dist
Mini project 3 for 15814 F22
Language:Agda01

kaonn's Repositories

kaonn/0
Language:TeX0 3 00
kaonn/1
Language:OCaml0 2 00
kaonn/15462-Final-Project
IFS
Language:C++00
kaonn/2
Language:TeX0 2 00
kaonn/3
0 2 00
kaonn/5
Language:Coq0 2 00
kaonn/6
Language:TeX0 2 00
kaonn/7
Language:OCaml0 3 00
kaonn/AES
An implementation of Finite Fields in C. Going to become a full AES implementation
Language:C0 2 00
kaonn/agda-T-canonicity-dist
Mini project 3 for 15814 F22
Language:Agda01
kaonn/chtt
Language:TeX3 0
kaonn/Cube_Solver
An simple solver for a 2x3x3
Language:C
kaonn/cubical
An experimental library for Cubical Agda
kaonn/Encoder
Android Encoder application using Vignere's Cipher
Language:Java
kaonn/Gomoku
Gomoku game in Java
Language:Java2 0
kaonn/Hopscotch-Hashmap
C implementation of the hopscotch hash scheme
Language:C
kaonn/Kamcord
A simple watch view implementation
Language:Java
kaonn/Mandelbrot_Set
Japplet displaying the Mandelbrot Set
Language:Java
kaonn/mlton
The MLton repository
Language:Standard ML2 0
kaonn/neural-network
CNN that classifies images into different food categories
Language:Python
kaonn/opencv_test
Language:Python
kaonn/OpenGL
A little project testing OpenGL ES 2 on Android
Language:Java2 0
kaonn/OpenGL-desktop
Language:C
kaonn/Project_Euler
source for the euler problems
Language:C
kaonn/proto
Language:Standard ML2 0
kaonn/Quods
A java swing implementation of the game Quods
Language:Java2 0
kaonn/tartanhacks2015
3D game with running and stuff