theoxo Goto Github PK

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

c_raytracer

A basic raytracer built in C

cmurphi

Please see https://github.com/melver/cmurphi for CMurphi.

coherence

MSI cache coherence protocol written/verified in Murphi

coinzandroidgame

A social, location-based Android game

csail-like-colormap

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".

nnsight

The nnsight package enables interpreting and manipulating the internals of deep learned models.

pac-code

self-repair

[ICLR 2024]: Is Self-Repair a Silver Bullet for Code Generation?

spider

scripts and baselines for Spider: Yale complex and cross-domain semantic parsing and text-to-SQL challenge

stitch

A scalable abstraction learning library

stitch.jl

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: