g-d-l

Pinned Repositories

authorship_analysis
Authorship Analysis
Language:OCaml00
Coq
Coq codes
Language:Coq00
crossword_generation
Crossword Generation
Language:Python00
db_project
Database Project
Language:C00
lh-workshop
Materials for LambdaConf LiquidHaskell Workshop
Language:JavaScript00
project_euler
Project Euler Work
Language:C00
snaker
Snake
Language:C00

g-d-l's Repositories

g-d-l/Coq
Coq codes
Language:Coq
g-d-l/lh-workshop
Materials for LambdaConf LiquidHaskell Workshop
Language:JavaScript
g-d-l/db_project
Database Project
Language:C
g-d-l/project_euler
Project Euler Work
Language:C
g-d-l/snaker
Snake
Language:C
g-d-l/crossword_generation
Crossword Generation
Language:Python
g-d-l/authorship_analysis
Authorship Analysis
Language:OCaml