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/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/crystal_genealogy
A simple genealogy model written in crystal.
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/lingua
Implementations of and reasonings about a variety of simple functional languages, in Agda.
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/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/itse
A simple self-typed language (system S) for lambda-encoded data-types.
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/monadic-quicksort-verification
A Liquid Haskell verification of Mu and Chiang's "Deriving Monadic Quicksort."
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/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/multipageapp-using-halogen
Example of a multipage webapp using Purescript and Halogen.
Last synced: 28 Dec 2024
https://github.com/rybla/computersystems-homework
Homework for my Computer Systems class at Reed College
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/tumblrinfinitescroll
Cuz i dont want to cody sherman again
Last synced: 28 Dec 2024
https://github.com/rybla/share
A blockchain for recording and rewarding the popularity of small digital assets (memes)
Last synced: 28 Dec 2024
https://github.com/rybla/supersoccer2
A sequel to SuperSoccer, now made with unity!
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/particlelife
A life-like simulation with discrete particle-velocity updates in float-space.
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/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