rybla Goto Github PK

dcg-hardhat

eff

A functional programming language based on algebraic effect handlers

effigy-hs

Effigy, a simple Eff-like language, implemented in Haskell.

empirior

A simple imperitive language supporting gradual Hoare-logical verification.

escaigne

A programming language for defining integer sequences.

essentia

ethereum

Ethereum smart-contract work.

eval-via-norm

Evaluation by normalization

explodingcatjs1

fancy-isometric-gerrymandering-hasty-toss-up-fight-

F.I.G.H.T.

fight

F.I.G.H.T.

fixlat-lang

foliage

A code generator framework for fixed-point oriented programming.

fop

functive

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

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.

gameviz

A graph notation for game theory diagrams, transpiling to graphviz.

genealogymodel3

A reimplementation of GenealogyModel. Meant to be faster and more modular, with API for external experiments, importing, and exporting.

geneology_python_old

generic-ga

A generic genetic algorithm implementation. Using Crystal.

generics

ghostoban

glish

map all words to single-syllable version

gogenealogy

A Go implementation of the Artificial Life Genealogy model.

graphics-389---notes

Notes for my graphics class at reed college. Projects are kept in a seperate repository.

haskell-rec-def

APIs for more recursive definitions

haskell-work

Miscellaneous work I've done with Haskell.

hlc

Henry's Lambda Calculus

ho-gan

A GAN for benchmarking performance at recognizing simple higher-order patterns.

hopf-fibration

An interactive visualization of the Hopf fibration