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/bud
Prototype Bud runtime (Bloom Under Development)
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/Cedille-Core
A minimal proof language.
travisallison/ChatSH
Chat with GPT from the terminal, with the ability to execute shell scripts.
travisallison/clifun
3D clifford algebras visualization
travisallison/DataGridXL
The performant & reliable Vanilla Javascript data grid with Excel-like controls
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/membrane
A platform agnostic clojure(script) library for creating user interfaces
travisallison/plfa.github.io
An introduction to programming language theory in Agda
travisallison/Interaction-Type-Theory
travisallison/Kind
A next-gen functional language
travisallison/Kindelia
An efficient, secure cryptocomputer
travisallison/linux-insides
A little bit about a linux kernel
travisallison/llm.c
LLM training in simple, raw C/CUDA
travisallison/metamine
A new declarative programming language
travisallison/ob-table-enhancer
Manipulate markdown tables without touching the source code in Obsidian.
travisallison/parkour
[CoRL 2023] Robot Parkour Learning
travisallison/precursor
Create mockups with real-time collaboration
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/Roam-Enhancement
Collection of JavaScript extensions for RoamResearch.
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/SpacetimeDB
Multiplayer at the speed of light
travisallison/tauri
Build smaller, faster, and more secure desktop applications with a web frontend.
travisallison/temporal
Temporal service
travisallison/WebMonkeys
Massively parallel GPU programming on JavaScript, simple and clean.
travisallison/wisdom
Building better developers by specifying criteria of success