travisallison's repositories
AI-scripts
Some handy AI scripts
bud
Prototype Bud runtime (Bloom Under Development)
cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Cedille-Core
A minimal proof language.
ChatSH
Chat with GPT from the terminal, with the ability to execute shell scripts.
clifun
3D clifford algebras visualization
DataGridXL
The performant & reliable Vanilla Javascript data grid with Excel-like controls
HVM
A massively parallel, optimal functional runtime in Rust
Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
membrane
A platform agnostic clojure(script) library for creating user interfaces
mentat
UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.
plfa.github.io
An introduction to programming language theory in Agda
Kind
A next-gen functional language
Kindelia
An efficient, secure cryptocomputer
linux-insides
A little bit about a linux kernel
llm.c
LLM training in simple, raw C/CUDA
metamine
A new declarative programming language
ob-table-enhancer
Manipulate markdown tables without touching the source code in Obsidian.
parkour
[CoRL 2023] Robot Parkour Learning
precursor
Create mockups with real-time collaboration
programming-in-haskell
My solutions for all exercises in "Programming in Haskell" 2nd ed.
RAIN
Official implementation of [RAIN: Your Language Models Can Align Themselves without Finetuning]
Roam-Enhancement
Collection of JavaScript extensions for RoamResearch.
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.
SpacetimeDB
Multiplayer at the speed of light
tauri
Build smaller, faster, and more secure desktop applications with a web frontend.
WebMonkeys
Massively parallel GPU programming on JavaScript, simple and clean.
wisdom
Building better developers by specifying criteria of success
word-to-markdown
A ruby gem to liberate content from Microsoft Word documents