Oisín's Projects
:horse: Pony is an open-source, actor-model, capabilities-secure, high performance programming language
[==..] Progress bar for Crystal Programming Language
unix-like reverse engineering framework and commandline tools
Groom your app’s Ruby environment
A repo for working through the exercises in the book "Real World Haskell".
Tiny Lua script that opens a Firefox sessionstore.js file and swaps the closed and open windows. Useful after you've crashed and seemingly lost your session.
Fix broken dialogue in the game Revenant
A collection of pre-trained RL agents using Stable Baselines3, training and hyperparameter optimization included.
Research project: Program synthesis using updated interface, template and types.
Snooker shot clock, made for snooker shootout competitions
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
A few scripts for converting animated SVGs to MP4.
Visualizing our technology choices
Java library for conveniently verifying and storing OAuth 2.0 service access tokens
Processing sketch for learning Irish music tunes.
The Ur/Web programming language
Base Dockerfile for building Ur/web apps.
Compiler for the Vale programming language - http://vale.dev/
If the plugin does not work for some syntax, feel free to report to the issue tracker!
A world for the W2M (http://w2mind.org) which uses CuckooChess by Peter Österlund (http://code.google.com/p/cuckoochess/, GPLv3) to model a chess game and provide an opponent.
Warnier diagram generator / editor
Which is the fastest web framework?
Kubernetes website and documentation repo:
Giphy search exercise
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C