Highlights
- Pro
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedNov 29, 2024 -
filesize-parser Public
Forked from patrickkettner/filesize-parserconvert human readable filesizes to their byte equivalent
-
servant-job Public
Job API in Haskell Servant
-
diagrams-rubiks-cube Public
Forked from timjb/diagrams-rubiks-cubeHaskell library for drawing the Rubik's Cube
Haskell MIT License UpdatedApr 26, 2024 -
-
nix-cargo-integration Public
Forked from yusdacra/nix-cargo-integrationLibrary to easily and effortlessly integrate Cargo projects with Nix.
Nix MIT License UpdatedDec 9, 2023 -
-
-
-
chatGPT-shell-cli Public
Forked from 0xacx/chatGPT-shell-cliSimple shell script to use OpenAI's ChatGPT and DALL-E from the terminal. No Python or JS required.
Shell MIT License UpdatedMay 5, 2023 -
mini-book-gpt Public
Forked from ashthecoder05/mini-book-gptMini-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 embeddin…
Ruby UpdatedMay 1, 2023 -
ling Public
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
-
-
json-tools Public
A collection of JSON tools
-
patches-map Public
A library for patches (diffs) on maps: composable, mergeable and invertible
-
query-json Public
Forked from davesnx/query-jsonFaster and simpler implementation of jq in Reason Native
Reason BSD 3-Clause "New" or "Revised" License UpdatedOct 3, 2020 -
hlatex Public
LaTeX document builder for Haskell
-
purescript-ordered-collections Public
Forked from purescript/purescript-ordered-collectionsPureScript BSD 3-Clause "New" or "Revised" License UpdatedNov 5, 2019 -
purescript-ffi-simple Public
Forked from garganscript/purescript-ffi-simpleWe're sure you have your reasons
PureScript Mozilla Public License 2.0 UpdatedOct 8, 2019 -
purescript-reactix Public
Forked from garganscript/purescript-reactix(alpha) React hooks library
PureScript Mozilla Public License 2.0 UpdatedOct 7, 2019 -
agda-parametricity Public
Deriving parametricity results in Agda: "theorems for free"
-
eleve Public
Forked from kodexlab/eleveExtraction de LExique par Variation d'Entropie - Lexicon extraction based on the variation of entropy
Python GNU Lesser General Public License v3.0 UpdatedJun 11, 2019 -
purescript-quickcheck Public
Forked from purescript/purescript-quickcheckAn implementation of QuickCheck in PureScript
PureScript BSD 3-Clause "New" or "Revised" License UpdatedApr 8, 2019 -
purescript-thermite-dom Public
Forked from athanclark/purescript-thermite-domDOM bindings for thermite
PureScript UpdatedFeb 25, 2019 -
package-sets Public
Forked from purescript/package-setsA curated list of PureScript packages
Shell BSD 3-Clause "New" or "Revised" License UpdatedFeb 25, 2019 -
purescript-thermite Public
Forked from paf31/purescript-thermiteA simple PureScript wrapper for React
-
hsparql Public
Forked from robstewart57/hsparqlhsparql 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.
-
react-sigma Public
Forked from dunnock/react-sigmaLightweight powerful library for drawing network graphs built on top of SigmaJS
JavaScript MIT License UpdatedDec 20, 2018 -
purescript-console Public
Forked from purescript/purescript-consoleConsole-related functions
PureScript BSD 3-Clause "New" or "Revised" License UpdatedNov 12, 2018 -
patches-vector Public
Forked from liamoc/patches-vectorA library for patches (diffs) on vectors: composable, mergeable and invertible
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 23, 2018