travisallison Goto Github PK

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

fuzz-api-example

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.

interaction-type-theory

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

membrane

A platform agnostic clojure(script) library for creating user interfaces

mentat

UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.

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

plfa.github.io

An introduction to programming language theory in Agda

precursor

Create mockups with real-time collaboration

programming-in-haskell

My solutions for all exercises in "Programming in Haskell" 2nd ed.

qtcharts

quicktile

Adds window-tiling keybindings to any X11-based desktop. (An analogue to WinSplit Revolution for people who don't want to use the Compiz Grid plugin)

rain

Official implementation of [RAIN: Your Language Models Can Align Themselves without Finetuning]

result

My implementation of a C++ Result<T, E> type inspired by Rust

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.

software-foundations

Mirror of “Software Foundations”, by Benjamin Pierce et al.

spacetimedb

Multiplayer at the speed of light