Pinned Repositories
AI-scripts
Some handy AI scripts
bud
Prototype Bud runtime (Bloom Under Development)
category-theory-resources
Resources for learning Category Theory for an enthusiast
cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
travisallison's Repositories
travisallison/AI-scripts
Some handy AI scripts
travisallison/category-theory-resources
Resources for learning Category Theory for an enthusiast
travisallison/cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
travisallison/ChatSH
Chat with GPT from the terminal, with the ability to execute shell scripts.
travisallison/clifun
3D clifford algebras visualization
travisallison/HVM
A massively parallel, optimal functional runtime in Rust
travisallison/Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
travisallison/plfa.github.io
An introduction to programming language theory in Agda
travisallison/HVM3
HVM3
travisallison/interaction-calculus-of-constructions
A minimal proof checker.
travisallison/Interaction-Type-Theory
travisallison/Kind
A next-gen functional language
travisallison/Kindelia
An efficient, secure cryptocomputer
travisallison/lets-prove-leftpad
Proving leftpad correct two-dozen different ways
travisallison/linux-insides
A little bit about a linux kernel
travisallison/llm.c
LLM training in simple, raw C/CUDA
travisallison/medium_articles
travisallison/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
travisallison/ob-table-enhancer
Manipulate markdown tables without touching the source code in Obsidian.
travisallison/parkour
[CoRL 2023] Robot Parkour Learning
travisallison/programming-in-haskell
My solutions for all exercises in "Programming in Haskell" 2nd ed.
travisallison/RAIN
Official implementation of [RAIN: Your Language Models Can Align Themselves without Finetuning]
travisallison/RWKV-LM
RWKV is an RNN with transformer-level LLM performance. It can be directly trained like a GPT (parallelizable). So it's combining the best of RNN and transformer - great performance, fast inference, saves VRAM, fast training, "infinite" ctx_len, and free sentence embedding.
travisallison/sicmutils
Computer Algebra, Physics and Differential Geometry in Clojure.
travisallison/SpacetimeDB
Multiplayer at the speed of light
travisallison/temporal
Temporal service
travisallison/WebMonkeys
Massively parallel GPU programming on JavaScript, simple and clean.
travisallison/Win11Debloat
A simple, easy to use PowerShell script to remove pre-installed apps from Windows, disable telemetry, remove Bing from Windows search as well as perform various other changes to declutter and improve your Windows experience. This script works for both Windows 10 and Windows 11.
travisallison/windows-desktop-switcher
An AutoHotKey script for Windows that lets a user change virtual desktops by pressing CapsLock + <num>.
travisallison/wisdom
Building better developers by specifying criteria of success