Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

A modern, network-enabled music player platform built on Rockbox technology https://www.rockbox.org

Low-level typesafe HDF5 bindings

OpenVLA: An open-source vision-language-action model for robotic manipulation.

A gatekeeper for your commits

Real-time audio processing library in Python inspired by Nyquist, JUCE, Tone.js

Ellama is a tool for interacting with large language models from Emacs.

Easily portable doom

A framework for few-shot evaluation of autoregressive language models.

term generator for simply typed lambda calculus, combinatory logic.

Locally run an Instruction-Tuned Chat-Style LLM

Quantized inference code for LLaMA models

Entity Linker solution

Sources for the PureScript book

Haskell implementation of MessagePack / msgpack.org

Allows users of the Scotty web framework to model resources more like the HTTP standard models them.

Source repository for https://hackage.haskell.org/package/language-c

git import of patrick perry permutations lib from darcs

🂺 A Multiplayer Poker App Crafted with Haskell and React

the (very humble) beginnings of a kafka client for haskell

experimental http, attoparsec and pipes material for `streaming` and `streaming-bytestring`

NYU ML² work on sentence encoding with tree structure and dynamic graphs

A dependently typed actor framework for haskell.

Simple application based on Brick, plots data from Ivy bus

Efficient serialization of Haskell values to lazy bytestrings with a large average chunk size.

Causal commutative arrows revisited: an optimizing arrow library

Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.

Compatibility package for aeson