Nicolas Pouillard (np)

np

Geek Repo

Location:Angers, France

Home Page:https://nicolaspouillard.fr

Github PK Tool:Github PK Tool


Organizations
crypto-agda
demtech

Nicolas Pouillard's repositories

servant-job

Job API in Haskell Servant

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:0Issues:0

diagrams-rubiks-cube

Haskell library for drawing the Rubik's Cube

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

nix-cargo-integration

Library to easily and effortlessly integrate Cargo projects with Nix.

License:MITStargazers:0Issues:0Issues:0

name

nominal sets in haskell

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:0Issues:0

rvm

Ruby enVironment Manager (RVM)

License:NOASSERTIONStargazers:0Issues:0Issues:0

aprolog

αProlog

Stargazers:0Issues:0Issues:0

chatGPT-shell-cli

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

License:MITStargazers:0Issues:0Issues:0

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.

Stargazers:0Issues:0Issues:0

ling

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

Language:HaskellLicense:BSD-3-ClauseStargazers:107Issues:0Issues:0
Stargazers:0Issues:0Issues:0

json-tools

A collection of JSON tools

Language:ShellLicense:BSD-3-ClauseStargazers:3Issues:0Issues:0

patches-map

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

Language:HaskellLicense:BSD-3-ClauseStargazers:3Issues:0Issues:0

query-json

Faster and simpler implementation of jq in Reason Native

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

hlatex

LaTeX document builder for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:6Issues:0Issues:0
License:BSD-3-ClauseStargazers:0Issues:0Issues:0

purescript-ffi-simple

We're sure you have your reasons

License:MPL-2.0Stargazers:0Issues:0Issues:0

purescript-reactix

(alpha) React hooks library

License:MPL-2.0Stargazers:0Issues:0Issues:0

agda-parametricity

Deriving parametricity results in Agda: "theorems for free"

Language:AgdaLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0

eleve

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

Language:PythonLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

purescript-quickcheck

An implementation of QuickCheck in PureScript

Language:PureScriptLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

purescript-thermite-dom

DOM bindings for thermite

Language:PureScriptStargazers:0Issues:0Issues:0

package-sets

A curated list of PureScript packages

Language:ShellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

purescript-thermite

A simple PureScript wrapper for React

Language:PureScriptLicense:MITStargazers:0Issues:0Issues:0

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.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

react-sigma

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

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

purescript-console

Console-related functions

Language:PureScriptLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

patches-vector

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

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

discourse-mailgun

A plugin for Discourse to accept inbound email from a Mailgun webhook

Language:RubyLicense:Apache-2.0Stargazers:0Issues:0Issues:0