LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Builder

Nicolas Pouillard

«Type Theory Hacker»

Followers

163

Public repos

201

Stars (recent)

7

Ecosystems

—

Projects

Repositories this builder owns.

No description.

Nix Packages collection

diagrams-rubiks-cube

Haskell library for drawing the Rubik's Cube

agda-parametricity

Deriving parametricity results in Agda: "theorems for free"

2

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

name

nominal sets in haskell

—

Fast, effective, mind-blowing, coding CLI. Browser integration, multi-agents, theming, and reasoning control. Orchestrate agents from OpenAI, Claude, Gemini or any provider.

bookshelf-cutting-generator

No description.

notion-to-cypher

No description.

Recent activity

Most recently pushed work.

np/models
pushed 1mo ago
np/nixpkgs
pushed 2mo ago
np/diagrams-rubiks-cube
pushed 4mo ago
np/agda-parametricity
pushed 6mo ago