tkaden4 Goto Github PK

lambda-calculus

An implementation of the lambda calculus in typescript, along with an interactive evaluator.

lambdabot

A discord bot that runs user code.

languagedata

A dataset of languages with paradigms scraped from wikipedia (IN PROGRESS)

library

Papers I've read or am going to read

library--

The papers and books I've read or am about to read.

lithp

Minimal Lisp for studying purposes

m-compiler

The compiler for the M programming language.

m-jvm

The jvm compiler for the M programming language.

m-ps

Translation of the m haskell compiler to purescript (IN PROGRESS)

math302

WWU MATH 302 Proofs in Idris

midi.js

:musical_keyboard: Making life easy to create a MIDI-app on the web. Includes a library to program synesthesia into your app for memory recognition or for creating trippy effects. Convert soundfonts for Guitar, Bass, Drums, ect. into code that can be read by the browser. Supports multiple simultaneous instruments and perfect timing.

moth

A library for MOS 6502 code generation

movie-searcher-challenge

mtgguilddata

Website to display data from our 10-deck, 3-5 player MTG commander games.

nginx.vim

Improved nginx vim plugin (incl. syntax highlighting)

nn

Neural network experiments in typescript

ocaml-nel

A non empty list library for OCaml

optic

A header-only argument parser for C

papers

Papers I have (or plan to) read, along with an archiving system

particles.js

A lightweight JavaScript library for creating particles

party

Party games

pdftool

pfmt

A command line utility and library for creating colorful text

pidsim

An interactive simulator for the PID closed-loop control algorithm.

polygott

Base Docker image for the Repl.it evaluation server

pomo

A command-line pomodoro tracker.

portfolio

Professional portfolio and resume

project-lunar

A diary/journal that tallies days alive

prybar

Pry open those interpreters.

psi-pc-builders

Website for Psi PC