LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Well Typed LLP

Ben Gamari

I enjoy compilers, hiking, and bicycling

Followers

479

Public repos

772

Stars (recent)

43

Ecosystems

—

Projects

Repositories this builder owns.

Nix Packages collection

A free, open source, and extensible speech-to-text application that works completely offline.

frosty-planning

Frosty Fleet 9 Race Planning

1

laura-python-flake

Laura's Python development environment

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

hegg

Fast equality saturation in Haskell

—

monoidal-containers

Maps using values' monoidal structure during merging

Pre-packaged testbenching tools and reusable bus interfaces for cocotb

WIP: A modern step-through debugger for GHC Haskell

Recent activity

Most recently pushed work.

bgamari/nixpkgs
pushed 4d ago
bgamari/Handy
pushed 1mo ago
bgamari/frosty-planning
pushed 1mo ago
bgamari/laura-python-flake
pushed 3mo ago