王印 (eoin) (metapredicate)

metapredicate

Geek Repo

Company:OneStudyTeam

Location:Dublin, Ireland

Twitter:@metapredicate

Github PK Tool:Github PK Tool

王印 (eoin)'s repositories

.spacemacs.d

My spacemacs configuration

Language:Emacs LispStargazers:0Issues:0Issues:0

agda-demos

Dependently-typed Demos

Language:AgdaLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

avieor

Github Pages site

Stargazers:0Issues:2Issues:0

avieor.github.io

Personal Website

Stargazers:0Issues:2Issues:0

cs-exams

Examination preparation material for Computer Science students at Trinity College Dublin.

Language:HTMLStargazers:0Issues:2Issues:0

cs1013

First Year Programming Project - Uploading 2 years later because I found the files sitting around on my computer and figured I may aswell have it up on my github

Language:ProcessingStargazers:0Issues:1Issues:0

cs2014-1

CS2014 Systems Programming course repo

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

dotfiles

This is where I will keep my dotfiles for vim, zsh etc

Language:Emacs LispStargazers:0Issues:2Issues:0

getcomposer.org

getcomposer.org sources

Language:Standard MLLicense:MITStargazers:0Issues:0Issues:0

Git-Demo-for-Students

For Software Engineering

Stargazers:0Issues:2Issues:0

leetcode

Coding Interview Preparation / Practice

Language:PythonStargazers:0Issues:0Issues:0

personal-notes

Notes that were made by me for TCD CS.

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

pocketdiver

Mobile Dive Logging Application

Stargazers:0Issues:0Issues:0

prolog-mode

An Emacs Major Mode for Prolog Support

Stargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:1Issues:0

scikit-learn

scikit-learn: machine learning in Python

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

syntactic_versioning

What if Git worked with Programming Languages?

Stargazers:0Issues:0Issues:0

tictactoe

Learning React

Language:HTMLLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

unicorn

Clojure web-app practice using [Jetty Ring Reitit]. The next tech unicorn starts here ;-)

Language:ClojureLicense:NOASSERTIONStargazers:0Issues:0Issues:0

vectorlink

Semantic Indexer

License:Apache-2.0Stargazers:0Issues:0Issues:0