Projects in Awesome Lists by rybla
A curated list of projects in awesome lists by rybla .
https://github.com/rybla/zypr
A zippy structural editor, created by Henry Blanchette and Jacob Prinz as UMD.
language-design structural-editing
Last synced: 07 Feb 2026
https://github.com/rybla/supersoccer
A JS game using phaser.io that requires PS3 controllers to play. 2-Player
Last synced: 14 Oct 2025
https://github.com/rybla/python_genealogy_2
Creates a genealogy similar to a biological system. Enacts selection using fitnesses based on age, amount of children, and a trait (color). Includes support for generating a Graphviz graph of the genealogy, where color represents trait.
Last synced: 22 Jun 2025
https://github.com/rybla/small-language-games
A collection of LLM experiments.
Last synced: 05 Oct 2025
https://github.com/rybla/genealogymodel3
A reimplementation of GenealogyModel. Meant to be faster and more modular, with API for external experiments, importing, and exporting.
Last synced: 24 Aug 2025
https://github.com/rybla/graphics-389---notes
Notes for my graphics class at reed college. Projects are kept in a seperate repository.
Last synced: 23 Feb 2026
https://github.com/rybla/lingua
Implementations of and reasonings about a variety of simple functional languages, in Agda.
Last synced: 19 Feb 2026
https://github.com/rybla/qr-code-scanner
This is a simple html/js structure for implementing the use of http://goqr.me to generate QR codes
Last synced: 27 Aug 2025
https://github.com/rybla/imp-interpreter
This is a small Haskell implementation of the IMP language, as specified in the K Framework tutorial here.
Last synced: 17 Jul 2025
https://github.com/rybla/crystal_genealogy
A simple genealogy model written in crystal.
Last synced: 08 Nov 2025
https://github.com/rybla/monadic-quicksort-verification
A Liquid Haskell verification of Mu and Chiang's "Deriving Monadic Quicksort."
Last synced: 24 Jan 2026
https://github.com/rybla/musicgenerator
This is a program that generates tones according to algorithms that may end up sounding like music
Last synced: 08 Nov 2025
https://github.com/rybla/functive
A simple modular extendible statically-typed symbolic programming language with dependent types. Implemented in Haskell.
Last synced: 08 Nov 2025
https://github.com/rybla/itse
A simple self-typed language (system S) for lambda-encoded data-types.
Last synced: 14 Jul 2025
https://github.com/rybla/gogenealogy
A Go implementation of the Artificial Life Genealogy model.
Last synced: 28 Jun 2025
https://github.com/rybla/3dmodels
a storage for 3D modesl i want to access remotely
Last synced: 25 Jan 2026
https://github.com/rybla/language-miniml
A grammar specification for MiniML.
Last synced: 25 Jan 2026
https://github.com/rybla/computersystems-homework
Homework for my Computer Systems class at Reed College
Last synced: 08 Nov 2025
https://github.com/rybla/umd-website
My UMD website - a landing page that connects to my work.
Last synced: 08 Nov 2025
https://github.com/rybla/supersoccer2
A sequel to SuperSoccer, now made with unity!
Last synced: 08 Nov 2025
https://github.com/rybla/teachersschedulestitles
This automatically creates title attributes for class="teacher" tags based on an included database.
Last synced: 08 Nov 2025
https://github.com/rybla/ocaml-work
Working practice and examples in OCaml.
Last synced: 08 Nov 2025
https://github.com/rybla/supermegasquarewar
A sudoku-like game (variant of Star Battle).
Last synced: 08 Nov 2025
https://github.com/rybla/traitsgenealogy
Specifically for measuring effects of tait configurations in a Genealogy. No effect from preferencial attachment or age.
Last synced: 08 Nov 2025
https://github.com/rybla/systemsanalysis
My research analyzing systems papers networks with Eitan Frachntenburg at Reed College. UPDATE: this repository is now deprecated. Research has continued in the following repository:
Last synced: 08 Nov 2025
https://github.com/rybla/particlelife
A life-like simulation with discrete particle-velocity updates in float-space.
Last synced: 08 Nov 2025
https://github.com/rybla/minecraftarenaapi
Arena-oriented minigame api for minecraft (uses spigot/bukkit)
Last synced: 08 Nov 2025
https://github.com/rybla/game-of-greed
This is a game where you roll dice and try to get a total score as close to, but not greater than, 100. If a player rolls 0 dice, then the next turn is the last. Code included in this repository includes strategies I have developed to play this game, and also code that runs strategies agaisnt each other, and can produce test results.
Last synced: 08 Nov 2025
https://github.com/rybla/generic-ga
A generic genetic algorithm implementation. Using Crystal.
Last synced: 08 Nov 2025
https://github.com/rybla/coq-work
Various work I've done with the Coq proof assistant. Mostly just personal practice.
Last synced: 08 Nov 2025
https://github.com/rybla/compilator
An abstractly-specified transpiler
haskell programming-language type-setting
Last synced: 08 Nov 2025
https://github.com/rybla/chatscript
This project provides a simple python interface to writing chatscripts for generating sequences of calls to OpenAI's GPT chat API.
Last synced: 08 Nov 2025
https://github.com/rybla/tree-editor-with-egui
A tree editor using the egui library.
Last synced: 03 Jul 2026
https://github.com/rybla/url-notes
An automated system for collecting, analyzing, and publishing a feed of interesting URLs.
Last synced: 05 Oct 2025
https://github.com/rybla/forohtoo
A blogging platform that uses x402 to faciliate paid content.
Last synced: 05 Oct 2025
https://github.com/rybla/browser-card-game
A multiplayer card game in the browser.
Last synced: 05 Oct 2025
https://github.com/rybla/time-crystal-maker-puzzle
A puzzle game about making time crystals. Submission to the GMTK 2025 game jam.
Last synced: 05 Oct 2025
https://github.com/rybla/generic-card-game-v2
A generic card game framework
Last synced: 05 Oct 2025
https://github.com/rybla/fpv_drone_sim_for_browser
A FPV drone sim using Three JS and Rapier physics.
Last synced: 05 Oct 2025
https://github.com/rybla/forohtoo-splitter-contract
A contract for the Forohtoo blogging framework that splits a transaction between two addresses.
Last synced: 05 Oct 2025
https://github.com/rybla/reed-college-artificial-intelligence
Work from my AI class at Reed College
Last synced: 15 Sep 2025
https://github.com/rybla/notery
An alternative for Latex offering better automation and modularity (work in progress)
Last synced: 26 Jan 2026
https://github.com/rybla/when.end
Tells you when the current period ends at Norhgate High School
Last synced: 08 Nov 2025
https://github.com/rybla/rust-work
Publishing some select work I've done for learning the Rust language.
Last synced: 08 Nov 2025
https://github.com/rybla/unityrpg-outline
A basic outline for creating RPGs using Unity2D.
Last synced: 03 Feb 2026
https://github.com/rybla/openaigym
My solutions to OpenAI's Gym challenges.
Last synced: 08 Nov 2025
https://github.com/rybla/philosophy-of-computation
Work for Mark Bedau's Philosophy of Computation course at Reed College.
Last synced: 08 Nov 2025
https://github.com/rybla/empirior
A simple imperitive language supporting gradual Hoare-logical verification.
Last synced: 08 Nov 2025
https://github.com/rybla/patentgeneology
Generates Random Patent graphs for Graphviz
Last synced: 08 Nov 2025
https://github.com/rybla/phasertestgames
Games using the phaser javascript engine. Run the index.html
Last synced: 08 Nov 2025
https://github.com/rybla/monadv
Text-adventure game implemented with the StateT monad transformer (Haskell).
Last synced: 08 Nov 2025
https://github.com/rybla/k-resources
A collection of system scripts and templates for working with the K Framework.
Last synced: 08 Nov 2025
https://github.com/rybla/insertion-sort
A text adventure game made for my Math 121 class. In the game, you are a hacker, hired to take down a company's evil scheme. As you uncover clues and break into the employee's computers, you discover that the evil scheme might not be able to be judged morally after all.
Last synced: 08 Nov 2025
https://github.com/rybla/bulletdodge
Fun game where you dodge bullets or explode
Last synced: 08 Nov 2025