DSPy: The framework for programming—not prompting—foundation models

WIP - Allows you to create DSPy pipelines using ComfyUI

Fast and simple fluid simulator in Julia

Code for the paper 'Grokked Transformers are Implicit Reasoners: A Mechanistic Journey to the Edge of Generalization'

Official JAX implementation of Learning to (Learn at Test Time): RNNs with Expressive Hidden States

Code2Prompt is a powerful command-line tool that simplifies the process of providing context to Large Language Models (LLMs) by generating a comprehensive Markdown file containing the content of yo…

Keyboard shortcuts interface for your website. Working with static HTML, Vanilla JS, Vue, React, Svelte.

A static analysis tool for Lean 4.

Performant arrays where each dimension can have a named axis with values

Tensor Shape Annotation Library (numpy, tensorflow, pytorch, ...)

Generic automation framework for acceptance testing and RPA

a programming library with geometric algorithms

Python bindings for geogram

Performance comparison of parallel Rust and C++

tool for turning Lean proofs into Blender animations

My working papers in pdf

An active inference model of Lacanian psychoanalysis

Creative diagrams in Ti𝑘Z

Economics diagrams in Ti𝑘Z

Modeling Ancient Greek Grammar

Resources for learning Latin and ancient Greek.

A website with many resources to help you learn Latin!

Revision of Bob Kåres's Perl script (found here: http:https://bob.cakebox.net/osxcompose.php) that ​converts X11 compose rules (such as can be used by WinCompose on Windows) into Cocoa key bindings (such…

YoWASP toolchain for Visual Studio Code

Compiler front-end foundation technology.