np

ling

LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming

hlatex

LaTeX document builder for Haskell

servant-job

Job API in Haskell Servant

json-tools

A collection of JSON tools

patches-map

A library for patches (diffs) on maps: composable, mergeable and invertible

agda-parametricity

Deriving parametricity results in Agda: "theorems for free"

filesize-parser

convert human readable filesizes to their byte equivalent

aprolog

αProlog

chatGPT-shell-cli

Simple shell script to use OpenAI's ChatGPT and DALL-E from the terminal. No Python or JS required.

diagrams-rubiks-cube

Haskell library for drawing the Rubik's Cube

eleve

Extraction de LExique par Variation d'Entropie - Lexicon extraction based on the variation of entropy

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.

hvm-core

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.

models

name

nominal sets in haskell

nix-cargo-integration

Library to easily and effortlessly integrate Cargo projects with Nix.

nixpkgs

Nix Packages collection

package-sets

A curated list of PureScript packages

patches-vector

A library for patches (diffs) on vectors: composable, mergeable and invertible

purescript-console

Console-related functions

purescript-ffi-simple

We're sure you have your reasons

purescript-ordered-collections

purescript-quickcheck

An implementation of QuickCheck in PureScript

purescript-reactix

(alpha) React hooks library

purescript-thermite

A simple PureScript wrapper for React

purescript-thermite-dom

DOM bindings for thermite

query-json

Faster and simpler implementation of jq in Reason Native

react-sigma

Lightweight powerful library for drawing network graphs built on top of SigmaJS

rvm

Ruby enVironment Manager (RVM)