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: 07 Nov 2024
https://github.com/rybla/supersoccer
A JS game using phaser.io that requires PS3 controllers to play. 2-Player
Last synced: 07 Nov 2024
https://github.com/rybla/itse
A simple self-typed language (system S) for lambda-encoded data-types.
Last synced: 07 Nov 2024
https://github.com/rybla/functive
A simple modular extendible statically-typed symbolic programming language with dependent types. Implemented in Haskell.
Last synced: 07 Nov 2024
https://github.com/rybla/monadic-quicksort-verification
A Liquid Haskell verification of Mu and Chiang's "Deriving Monadic Quicksort."
Last synced: 07 Nov 2024
https://github.com/rybla/lingua
Implementations of and reasonings about a variety of simple functional languages, in Agda.
Last synced: 07 Nov 2024
https://github.com/rybla/crystal_genealogy
A simple genealogy model written in crystal.
Last synced: 07 Nov 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: 07 Nov 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: 07 Nov 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: 07 Nov 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: 07 Nov 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: 07 Nov 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: 07 Nov 2024
https://github.com/rybla/thesis-purity-and-effect
My Reed Undergraduate Thesis.
Last synced: 07 Nov 2024
https://github.com/rybla/umd-website
My UMD website - a landing page that connects to my work.
Last synced: 07 Nov 2024
https://github.com/rybla/unityrpg-outline
A basic outline for creating RPGs using Unity2D.
Last synced: 07 Nov 2024
https://github.com/rybla/tumblrinfinitescroll
Cuz i dont want to cody sherman again
Last synced: 07 Nov 2024
https://github.com/rybla/share
A blockchain for recording and rewarding the popularity of small digital assets (memes)
Last synced: 07 Nov 2024
https://github.com/rybla/supersoccer2
A sequel to SuperSoccer, now made with unity!
Last synced: 07 Nov 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: 07 Nov 2024
https://github.com/rybla/signcommands
Bukkit Plugin: Assign commands to your signs!
Last synced: 07 Nov 2024
https://github.com/rybla/teachersschedulestitles
This automatically creates title attributes for class="teacher" tags based on an included database.
Last synced: 07 Nov 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: 07 Nov 2024
https://github.com/rybla/supermegasquarewar
A sudoku-like game (variant of Star Battle).
Last synced: 07 Nov 2024
https://github.com/rybla/openaigym
My solutions to OpenAI's Gym challenges.
Last synced: 07 Nov 2024
https://github.com/rybla/rust-work
Publishing some select work I've done for learning the Rust language.
Last synced: 07 Nov 2024
https://github.com/rybla/ringlife
Automotons like in A New Kind of Science, except on a circle instead of a line
Last synced: 07 Nov 2024
https://github.com/rybla/reed-college-artificial-intelligence
Work from my AI class at Reed College
Last synced: 07 Nov 2024
https://github.com/rybla/sphere-packing
My final project for the Number Theory course at Reed College.
Last synced: 07 Nov 2024
https://github.com/rybla/programminglanguages
Some programming languages I designed for practice and fun.
Last synced: 07 Nov 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: 07 Nov 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: 07 Nov 2024
https://github.com/rybla/philosophy-of-computation
Work for Mark Bedau's Philosophy of Computation course at Reed College.
Last synced: 07 Nov 2024
https://github.com/rybla/ocaml-work
Working practice and examples in OCaml.
Last synced: 07 Nov 2024
https://github.com/rybla/principianota
My comprehensive principles of computer science / mathematics notation.
Last synced: 07 Nov 2024
https://github.com/rybla/modut
A statically typed functional programming language with structural refinement types and modular data types.
Last synced: 07 Nov 2024
https://github.com/rybla/particlelife
A life-like simulation with discrete particle-velocity updates in float-space.
Last synced: 07 Nov 2024
https://github.com/rybla/phasertestgames
Games using the phaser javascript engine. Run the index.html
Last synced: 07 Nov 2024
https://github.com/rybla/notery
An alternative for Latex offering better automation and modularity (work in progress)
Last synced: 07 Nov 2024
https://github.com/rybla/patentgeneology
Generates Random Patent graphs for Graphviz
Last synced: 07 Nov 2024
https://github.com/rybla/haskell-work
Miscellaneous work I've done with Haskell.
Last synced: 07 Nov 2024
https://github.com/rybla/monadv
Text-adventure game implemented with the StateT monad transformer (Haskell).
Last synced: 07 Nov 2024
https://github.com/rybla/metascience
Work for my Metaphysics of Science class at Reed College.
Last synced: 07 Nov 2024
https://github.com/rybla/gogenealogy
A Go implementation of the Artificial Life Genealogy model.
Last synced: 07 Nov 2024
https://github.com/rybla/minecraftarenaapi
Arena-oriented minigame api for minecraft (uses spigot/bukkit)
Last synced: 07 Nov 2024
https://github.com/rybla/generic-ga
A generic genetic algorithm implementation. Using Crystal.
Last synced: 07 Nov 2024
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: 07 Nov 2024
https://github.com/rybla/hypermd
A markdown variant with special heatures for the web, as well as compiling to html
Last synced: 07 Nov 2024
https://github.com/rybla/k-resources
A collection of system scripts and templates for working with the K Framework.
Last synced: 07 Nov 2024
https://github.com/rybla/escaigne
A programming language for defining integer sequences.
Last synced: 07 Nov 2024
https://github.com/rybla/mancala
Haskell implementation for Mancala, the african board game
Last synced: 07 Nov 2024
https://github.com/rybla/empirior
A simple imperitive language supporting gradual Hoare-logical verification.
Last synced: 07 Nov 2024
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: 07 Nov 2024
https://github.com/rybla/language-miniml
A grammar specification for MiniML.
Last synced: 07 Nov 2024
https://github.com/rybla/idris-work
A repository for my miscellaneos work while learning Idris.
Last synced: 07 Nov 2024
https://github.com/rybla/housing-survey
Survey and analysis of Reed College off-campus housing data.
Last synced: 07 Nov 2024
https://github.com/rybla/foliage
A code generator framework for fixed-point oriented programming.
Last synced: 07 Nov 2024
https://github.com/rybla/gameviz
A graph notation for game theory diagrams, transpiling to graphviz.
Last synced: 07 Nov 2024
https://github.com/rybla/coq-work
Various work I've done with the Coq proof assistant. Mostly just personal practice.
Last synced: 07 Nov 2024