Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 28 Dec 2024
https://github.com/rybla/supersoccer
A JS game using phaser.io that requires PS3 controllers to play. 2-Player
Last synced: 28 Dec 2024
https://github.com/rybla/crystal_genealogy
A simple genealogy model written in crystal.
Last synced: 28 Dec 2024
https://github.com/rybla/musicgenerator
This is a program that generates tones according to algorithms that may end up sounding like music
Last synced: 28 Dec 2024
https://github.com/rybla/lingua
Implementations of and reasonings about a variety of simple functional languages, in Agda.
Last synced: 28 Dec 2024
https://github.com/rybla/functive
A simple modular extendible statically-typed symbolic programming language with dependent types. Implemented in Haskell.
Last synced: 28 Dec 2024
https://github.com/rybla/graphics-389---notes
Notes for my graphics class at reed college. Projects are kept in a seperate repository.
Last synced: 28 Dec 2024
https://github.com/rybla/itse
A simple self-typed language (system S) for lambda-encoded data-types.
Last synced: 28 Dec 2024
https://github.com/rybla/monadic-quicksort-verification
A Liquid Haskell verification of Mu and Chiang's "Deriving Monadic Quicksort."
Last synced: 28 Dec 2024
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: 28 Dec 2024
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: 28 Dec 2024
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: 28 Dec 2024
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: 28 Dec 2024
https://github.com/rybla/when.end
Tells you when the current period ends at Norhgate High School
Last synced: 28 Dec 2024
https://github.com/rybla/llm-sim
A simple state-action framework for using an LLM to interpret vague user instructions into structured actions.
Last synced: 28 Dec 2024
https://github.com/rybla/umd-website
My UMD website - a landing page that connects to my work.
Last synced: 28 Dec 2024
https://github.com/rybla/unityrpg-outline
A basic outline for creating RPGs using Unity2D.
Last synced: 28 Dec 2024
https://github.com/rybla/thesis-purity-and-effect
My Reed Undergraduate Thesis.
Last synced: 28 Dec 2024
https://github.com/rybla/ringlife
Automotons like in A New Kind of Science, except on a circle instead of a line
Last synced: 28 Dec 2024
https://github.com/rybla/programminglanguages
Some programming languages I designed for practice and fun.
Last synced: 28 Dec 2024
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: 28 Dec 2024
https://github.com/rybla/when.end-application
This is where I will release builds of the When.End application apk for android. Please download and enjoy! (Exclusively for Northgate High School)
Last synced: 28 Dec 2024
https://github.com/rybla/sphere-packing
My final project for the Number Theory course at Reed College.
Last synced: 28 Dec 2024
https://github.com/rybla/signcommands
Bukkit Plugin: Assign commands to your signs!
Last synced: 28 Dec 2024
https://github.com/rybla/teachersschedulestitles
This automatically creates title attributes for class="teacher" tags based on an included database.
Last synced: 28 Dec 2024
https://github.com/rybla/traitsgenealogy
Specifically for measuring effects of tait configurations in a Genealogy. No effect from preferencial attachment or age.
Last synced: 28 Dec 2024
https://github.com/rybla/supermegasquarewar
A sudoku-like game (variant of Star Battle).
Last synced: 28 Dec 2024
https://github.com/rybla/openaigym
My solutions to OpenAI's Gym challenges.
Last synced: 28 Dec 2024
https://github.com/rybla/rust-work
Publishing some select work I've done for learning the Rust language.
Last synced: 28 Dec 2024
https://github.com/rybla/reed-college-artificial-intelligence
Work from my AI class at Reed College
Last synced: 28 Dec 2024
https://github.com/rybla/ocaml-work
Working practice and examples in OCaml.
Last synced: 28 Dec 2024
https://github.com/rybla/gogenealogy
A Go implementation of the Artificial Life Genealogy model.
Last synced: 28 Dec 2024
https://github.com/rybla/generic-ga
A generic genetic algorithm implementation. Using Crystal.
Last synced: 28 Dec 2024
https://github.com/rybla/hypermd
A markdown variant with special heatures for the web, as well as compiling to html
Last synced: 28 Dec 2024
https://github.com/rybla/k-resources
A collection of system scripts and templates for working with the K Framework.
Last synced: 28 Dec 2024
https://github.com/rybla/empirior
A simple imperitive language supporting gradual Hoare-logical verification.
Last synced: 28 Dec 2024
https://github.com/rybla/foliage
A code generator framework for fixed-point oriented programming.
Last synced: 28 Dec 2024
https://github.com/rybla/coq-work
Various work I've done with the Coq proof assistant. Mostly just personal practice.
Last synced: 28 Dec 2024
https://github.com/rybla/afterlife
A decentralized economy for the future of humanity.
Last synced: 28 Dec 2024
https://github.com/rybla/collatz
Cool ways to visualize the collatz conjecture (inspired by Numberphile)
Last synced: 28 Dec 2024
https://github.com/rybla/3dmodels
a storage for 3D modesl i want to access remotely
Last synced: 28 Dec 2024
https://github.com/rybla/crystal-work
Practice with Crystal, a C-like language with Ruby-like syntax.
Last synced: 28 Dec 2024
https://github.com/rybla/particlelife
A life-like simulation with discrete particle-velocity updates in float-space.
Last synced: 28 Dec 2024
https://github.com/rybla/metascience
Work for my Metaphysics of Science class at Reed College.
Last synced: 28 Dec 2024
https://github.com/rybla/optimalclassesscheduler
In a college setting, its a struggle to let everyone choose classes efficiently, but still let people get all the classes that they want. This code runs some simplified tests over simulated schoosl to see how effective different scheduling methods are.
Last synced: 28 Dec 2024
https://github.com/rybla/philosophy-of-computation
Work for Mark Bedau's Philosophy of Computation course at Reed College.
Last synced: 28 Dec 2024
https://github.com/rybla/principianota
My comprehensive principles of computer science / mathematics notation.
Last synced: 28 Dec 2024
https://github.com/rybla/modut
A statically typed functional programming language with structural refinement types and modular data types.
Last synced: 28 Dec 2024
https://github.com/rybla/patentgeneology
Generates Random Patent graphs for Graphviz
Last synced: 28 Dec 2024
https://github.com/rybla/notery
An alternative for Latex offering better automation and modularity (work in progress)
Last synced: 28 Dec 2024
https://github.com/rybla/phasertestgames
Games using the phaser javascript engine. Run the index.html
Last synced: 28 Dec 2024
https://github.com/rybla/monadv
Text-adventure game implemented with the StateT monad transformer (Haskell).
Last synced: 28 Dec 2024