lambda-11235 Goto Github PK

arrowlisp

Mirror of a purely symbolic Lisp implementation

avoider

A simulation environment for testing collision avoidance.

balj

A platformer where you play as bouncing ball with antigravity.

boneheadfrp

A simple (but dumb) FRP library. Intended for educational use.

brain

A clojure brainfuck compiler library that targets the jvm, MIPS, and c.

cgds

C generic data structures

collector

A simple Haskell game using FRP where you collect tokens.

cspawn

A simple process management library.

debttools

Tools to help manage and analyze debt, specifically for compound interest.

docs

Documentation for Red Eclipse, which is included on the website

ecs189g-pres

farrp

An arrowized FRP library for Idris with static safety guarantees.

funcmap

Graphs an algebraic function between two parallel number lines.

hlisp

A minimal, pure, and lazy symbolic lisp.

idris-dev

A Dependently Typed Functional Programming Language

lambda-11235.github.io

My personal static website.

lambda-calc

An interpreter for untyped lambda calculus with lazy evaluation.

lambda-calc-formalization

A formalization of and proofs about the untyped lambda calculus using small step semantics.

lambotirc

My personal IRC bot.

lartc-redesign

Redesign of the lartc site

m.a.r.s.

M.A.R.S. - a ridiculous shooter

markovs_passwords

Random pronounceable passwords using Markov chains.

mimp

A minimal imperative programming language.

mpcc

neovim-config

My config directory for NeoVim.

nixpkgs

Nix Packages collection

nobiax

Red Eclipse data module for nobiax's contributions

nutrition_planner

Nutrition planning tools that track macros, micros, and amino acids

physunit

A simplestic dimensional analysis library for Idris.

pics