Pinned Repositories
CGDS
C generic data structures
debtTools
Tools to help manage and analyze debt, specifically for compound interest.
FarRP
An arrowized FRP library for Idris with static safety guarantees.
hlisp
A minimal, pure, and lazy symbolic lisp.
lambda-calc
An interpreter for untyped lambda calculus with lazy evaluation.
markovs_passwords
Random pronounceable passwords using Markov chains.
rrootage
A fork of rrootage on linux.
sml-parse-comb
A simple parser combinator for Standard ML.
thm
ttyped
A simple dependently typed language based on the Calculus of Constructions.
lambda-11235's Repositories
lambda-11235/FarRP
An arrowized FRP library for Idris with static safety guarantees.
lambda-11235/ttyped
A simple dependently typed language based on the Calculus of Constructions.
lambda-11235/thm
lambda-11235/tcp_davis
lambda-11235/CGDS
C generic data structures
lambda-11235/debtTools
Tools to help manage and analyze debt, specifically for compound interest.
lambda-11235/markovs_passwords
Random pronounceable passwords using Markov chains.
lambda-11235/avoider
A simulation environment for testing collision avoidance.
lambda-11235/balj
A platformer where you play as bouncing ball with antigravity.
lambda-11235/cspawn
A simple process management library.
lambda-11235/docs
Documentation for Red Eclipse, which is included on the website
lambda-11235/ecs189g-pres
lambda-11235/lambda-11235.github.io
My personal static website.
lambda-11235/lambotirc
My personal IRC bot.
lambda-11235/lartc-redesign
Redesign of the lartc site
lambda-11235/mimp
A minimal imperative programming language.
lambda-11235/mpcc
lambda-11235/neovim-config
My config directory for NeoVim.
lambda-11235/nixpkgs
Nix Packages collection
lambda-11235/nobiax
Red Eclipse data module for nobiax's contributions
lambda-11235/nutrition_planner
Nutrition planning tools that track macros, micros, and amino acids
lambda-11235/physunit
A simplestic dimensional analysis library for Idris.
lambda-11235/pics
lambda-11235/RE-base
Base environment for Red Eclipse and associated source files.
lambda-11235/re-community
Official repository for Red Eclipse community content.
lambda-11235/RE_workshop
A collection of materials for Red Eclipse assets.
lambda-11235/resume
lambda-11235/rgfx
A simple Rust library for raster graphics.
lambda-11235/riscv-console
RISC-V Simulator Console
lambda-11235/TSC3
The new code base for The Secret Chronicles of Dr. M, version 3.0.0