Pinned Repositories
camllexer
An independant OCaml lexer, extracted from OCaml/Camlp4
hlatex
LaTeX document builder for Haskell
hx
Bitcoin CLI tools: Haskell port of Sx using Haskoin
ling
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
mbox-tools
A collection of command line tools on the mbox format
names-for-free
servant-job
Job API in Haskell Servant
strict-io
A thin layer on top standard IO modules like System.IO and Data.IORef that re-expose strict functions using the SIO monad
tdoc
TDoc is a typed document builder with support for (X)HTML
np's Repositories
np/ling
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
np/hlatex
LaTeX document builder for Haskell
np/servant-job
Job API in Haskell Servant
np/json-tools
A collection of JSON tools
np/patches-map
A library for patches (diffs) on maps: composable, mergeable and invertible
np/agda-parametricity
Deriving parametricity results in Agda: "theorems for free"
np/code
Fast, effective, mind-blowing, coding CLI. Browser integration, multi-agents, theming, and reasoning control. Orchestrate agents from OpenAI, Claude, Gemini or any provider.
np/filesize-parser
convert human readable filesizes to their byte equivalent
np/haskell-flake
A `flake-parts` Nix module for Haskell development
np/Image-type
Gets type of image.
np/n8n-nodes-neo4j
N8N node to work with your data in Neo4j Vector Store
np/nix-on-droid
Nix-enabled environment for your Android device. [maintainers=@t184256,@Gerschtli]
np/vscode-remote-workaround
VSCode remote development workaround for NixOS(-WSL)
np/aprolog
αProlog
np/bookshelf-cutting-generator
np/chatGPT-shell-cli
Simple shell script to use OpenAI's ChatGPT and DALL-E from the terminal. No Python or JS required.
np/diagrams-rubiks-cube
Haskell library for drawing the Rubik's Cube
np/eleve
Extraction de LExique par Variation d'Entropie - Lexicon extraction based on the variation of entropy
np/hvm-core
np/mini-book-gpt
Mini-Book-GPT is a Rails app that allows users to ask questions and get answers based on the content of "The Minimalist Entrepreneur" by Sahil Lavingia. The app uses OpenAI API to generate embeddings and answers, React for the frontend, and PostgreSQL for the database.
np/models
np/name
nominal sets in haskell
np/nix-cargo-integration
Library to easily and effortlessly integrate Cargo projects with Nix.
np/nixpkgs
Nix Packages collection
np/notion-to-cypher
np/purescript-ffi-simple
We're sure you have your reasons
np/purescript-ordered-collections
np/purescript-reactix
(alpha) React hooks library
np/query-json
Faster and simpler implementation of jq in Reason Native
np/rvm
Ruby enVironment Manager (RVM)