rybla

crystal_genealogy

A simple genealogy model written in crystal.

eval-via-norm

Evaluation by normalization

Functive

A simple modular extendible statically-typed symbolic programming language with dependent types. Implemented in Haskell.

impe

lh-tactics-test

polylogue

shape-lang-purs

A well-typed structural editor.

SuperSoccer

A JS game using phaser.io that requires PS3 controllers to play. 2-Player

Thesis-Purity-and-Effect

My Reed Undergraduate Thesis.

zypr

A zippy structural editor, created by Henry Blanchette and Jacob Prinz as UMD.

rybla/SWE-agent

SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It solves 12.47% of bugs in the SWE-bench evaluation set and takes just 1 minute to run.

rybla/Textual

A simple text editor for iOS that integrates directly with iOS Files.

rybla/riib11.github.io

rybla/ai-webapplets

rybla/arc-like

Like ARC, but code to generate visual puzzles. 1D puzzles first.

rybla/dcg-hardhat

rybla/DeeperShallowSyntax

rybla/essentia

rybla/fixlat-lang

rybla/foliage

A code generator framework for fixed-point oriented programming.

rybla/foliage-arsenic

rybla/foliage-boron

rybla/fop

rybla/functional-blog-example

A functional blog example

rybla/glish

map all words to single-syllable version

rybla/haskell-rec-def

APIs for more recursive definitions

rybla/leptos-experiment-1

rybla/linear-algebra-optimizer

rybla/llm-sim

A simple state-action framework for using an LLM to interpret vague user instructions into structured actions.

rybla/melange-example

rybla/melange-template-henry

example of using melange (without any frontend framework eg react)

rybla/modular-blog

rybla/multipageapp-using-halogen

Example of a multipage webapp using Purescript and Halogen.

rybla/name-guesser

rybla/ollama-ui

Simple HTML UI for Ollama

rybla/pantograph-user-study

rybla/purescript-experiments

rybla/sexp-ze-poc

rybla/treediffui-example

rybla/ulc_in_rust