Theo X. Olausson's repositories
self-repair
[ICLR 2024]: Is Self-Repair a Silver Bullet for Code Generation?
C_raytracer
A basic raytracer built in C
CoinzAndroidGame
A social, location-based Android game
8gamesolver_end_user
8-tile "sliding puzzle game" solver
8gamesolver_xml
Modified version of the 8gamesolver to generate a full xml tree of states.
antlr3
antlr v3 repository (pulled from p4 with history from //depot/code/antlr/antlr3-main
apps
APPS: Automated Programming Progress Standard (NeurIPS 2021)
Basic-Graphing-Calculator-Java-
Basic Graphing Calculator written in Java for school project
cmurphi
Please see https://github.com/melver/cmurphi for CMurphi.
inf1.hgs.club
UoE Informatics 2016-?
lambdas
A library for defining domain specific languages in a polymorphic lambda calculus
lightline.vim
A light and configurable statusline/tabline plugin for Vim
NewsFacts_Search_Chrome
Short Chrome extension to get Google results excluding the current website for a chosen string of text. Suggested use: double checking news "facts".
spider
scripts and baselines for Spider: Yale complex and cross-domain semantic parsing and text-to-SQL challenge
stitch
A scalable abstraction learning library
theoxo.github.io
Personal Website
uoe_programmingclub
University of Edinburgh Programming Club
yes
yes - Implementation of simple and dangerous yes command in various languages. :+1: