Pinned Repositories
Battle-Snake
A web API written for the Battlesnake hackathon in Victoria
compiler
A complete compiler for an object-oriented language with static typing
File-system
A fully functioning filesystem interfaced with a customized shell
interpreter
An interpreter for an imperative language I designed
intro_haskell
jchenche.github.io
Quinifier
A website that turns Python3 programs into self-reproducing programs
Rating-Log
Finalized project for the Android app
Student-Registration-Database
Implemented in PostgreSQL
theorem-prover
Implementation of a theorem prover for first-order logic
jchenche's Repositories
jchenche/compiler
A complete compiler for an object-oriented language with static typing
jchenche/interpreter
An interpreter for an imperative language I designed
jchenche/Battle-Snake
A web API written for the Battlesnake hackathon in Victoria
jchenche/File-system
A fully functioning filesystem interfaced with a customized shell
jchenche/Student-Registration-Database
Implemented in PostgreSQL
jchenche/theorem-prover
Implementation of a theorem prover for first-order logic
jchenche/intro_haskell
jchenche/jchenche.github.io
jchenche/Miscellaneous-Codes
Python programs created in my spare time
jchenche/Quine-Generator
Given a non-empty Python3 program as an input, quine generator turns it into a self-reproducing program
jchenche/Quinifier
A website that turns Python3 programs into self-reproducing programs
jchenche/Rating-Log
Finalized project for the Android app
jchenche/Refined-Random-Word-Generator-main-codes
iOS app developed back in Summer 2016 (only contains the main source codes)