Discover @tkaden4 Open Source projects

Kaden Thomas (@tkaden4)

tkaden4

Stars
53
Global Rank 327,510 (Top 12 %)
Followers 58
Following 41
Registered over 10 years ago
Most used languages

TypeScript
33.3 %

JavaScript
16.7 %

C
16.7 %

D
12.5 %

Python
12.5 %

Rust
4.2 %

Idris 4.2 %
Location 🇺🇸 United States
Country Total Rank 64,650
Country Ranking

Idris 54

D
146

Rust
6,165

TypeScript
6,997

C
7,001

pfmt

A command line utility and library for creating colorful text

ununknown

Typesafe data validation combinators for typescript/javascript.

humanality.net

A personality test website built on Netlify with Next.js using React and Semantic UI

squarest-countries

A simple GIS experiment to find the squarest countries.

tentacle

LAN device discovery

karat

A virtual computer for hobby development

lambdabot

A discord bot that runs user code.

alef

optic

A header-only argument parser for C

ricebot

A project to monitor the rice cooker in our house and message us when it finishes cooking

MATH302

WWU MATH 302 Proofs in Idris

MTGGuildData

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

lambda-calculus

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

party

aleph-old

A programming language for systems development

asteroids

assoc

A smart file association manager and file opener

rfc

A man(1)-like viewer for rfc files

moth

A library for MOS 6502 code generation

haskellmc

haskellmc startup scripts

disrupt

Make your discord messages as annoying as possible

pomo

A command-line pomodoro tracker.

lithp

Minimal Lisp for studying purposes

communism-ai

babel-node-pp

An upgraded version of babel-node that uses .babelrc