Repositories
joelburget repositories
A benchmark for evaluating the robustness of LLMs and defenses to indirect prompt injection attacks.
The world's easiest, smallest and powerful visitor identifier for browsers.
Clutter Haskell bindings
In-browser code editor
Good Smelling Ray Tracer
Haskell Neural Network library
Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React
The Honey Badger of BFT Protocols
A Dependently Typed Functional Programming Language
Reaching LLaMA2 Performance with 0.1M Dollars
An proof refinement logic for computational type theory based on realizability & meaning explanations. Inspired by Nuprl
Fast math.
Mamba support for transformer lens
Trie-based memo functions
Training Sparse Autoencoders on Language Models
MultiMarkdown version (with HTML source tab) of Notational Velocity: modeless, mouseless Mac OS X note-taking application