-
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedApr 15, 2026 -
diagrams-rubiks-cube Public
Forked from timjb/diagrams-rubiks-cubeHaskell library for drawing the Rubik's Cube
Haskell MIT License UpdatedMar 1, 2026 -
agda-parametricity Public
Deriving parametricity results in Agda: "theorems for free"
-
-
code Public
Forked from just-every/codeFast, effective, mind-blowing, coding CLI. Browser integration, multi-agents, theming, and reasoning control. Orchestrate agents from OpenAI, Claude, Gemini or any provider.
-
bookshelf-cutting-generator Public
OpenSCAD BSD 3-Clause "New" or "Revised" License UpdatedAug 31, 2025 -
-
n8n-nodes-neo4j Public
Forked from Kurea/n8n-nodes-neo4jN8N node to work with your data in Neo4j Vector Store
-
haskell-flake Public
Forked from srid/haskell-flakeA `flake-parts` Nix module for Haskell development
-
vscode-remote-workaround Public
Forked from K900/vscode-remote-workaroundVSCode remote development workaround for NixOS(-WSL)
-
Image-type Public
Forked from ttylec/Image-typeGets type of image.
-
filesize-parser Public
Forked from patrickkettner/filesize-parserconvert human readable filesizes to their byte equivalent
-
nix-on-droid Public
Forked from nix-community/nix-on-droidNix-enabled environment for your Android device. [maintainers=@t184256,@Gerschtli]
-
servant-job Public
Job API in Haskell Servant
-
-
nix-cargo-integration Public
Forked from 90-008/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 -
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
{{ message }}