王印 (eoin)'s repositories
.spacemacs.d
My spacemacs configuration
Language:Emacs Lisp000
agda-demos
Dependently-typed Demos
avieor.github.io
Personal Website
getcomposer.org
getcomposer.org sources
Language:Standard MLMIT000
Git-Demo-for-Students
For Software Engineering
leetcode
Coding Interview Preparation / Practice
Language:Python000
personal-notes
Notes that were made by me for TCD CS.
pocketdiver
Mobile Dive Logging Application
000
prolog-mode
An Emacs Major Mode for Prolog Support
000
scikit-learn
scikit-learn: machine learning in Python
syntactic_versioning
What if Git worked with Programming Languages?
000
unicorn
Clojure web-app practice using [Jetty Ring Reitit]. The next tech unicorn starts here ;-)
Language:ClojureNOASSERTION000
vectorlink
Semantic Indexer
Apache-2.0000