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/filesize-parser
convert human readable filesizes to their byte equivalent
np/aprolog
αProlog
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/hsparql
hsparql includes a DSL to easily create queries, as well as methods to submit those queries to a SPARQL server, returning the results as simple Haskell data structures.
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/package-sets
A curated list of PureScript packages
np/patches-vector
A library for patches (diffs) on vectors: composable, mergeable and invertible
np/purescript-console
Console-related functions
np/purescript-ffi-simple
We're sure you have your reasons
np/purescript-ordered-collections
np/purescript-quickcheck
An implementation of QuickCheck in PureScript
np/purescript-reactix
(alpha) React hooks library
np/purescript-thermite
A simple PureScript wrapper for React
np/purescript-thermite-dom
DOM bindings for thermite
np/query-json
Faster and simpler implementation of jq in Reason Native
np/react-sigma
Lightweight powerful library for drawing network graphs built on top of SigmaJS
np/rvm
Ruby enVironment Manager (RVM)