A helper to save me some keystrokes from nix-prefetch-git.
☆13Apr 8, 2019Updated 6 years ago
Alternatives and similar repositories for prefetch-github
Users that are interested in prefetch-github are comparing it to the libraries listed below
Sorting:
- A lisp dedicated to bnl intended for use under 2.11BSD on a PDP-11☆21Dec 20, 2022Updated 3 years ago
- FunQy - A high-level hybrid quantum programming language☆33Nov 9, 2020Updated 5 years ago
- Copy-and-patch JIT for PostgreSQL☆38Dec 4, 2025Updated 2 months ago
- Haskell library for PDF generation (graphics and typesetting)☆27Nov 7, 2019Updated 6 years ago
- Implements a .NET inspired execution context for Rust☆36Jun 13, 2018Updated 7 years ago
- Repository for the mijn.amsterdam.nl portal☆11Feb 20, 2026Updated last week
- Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants☆40Dec 20, 2019Updated 6 years ago
- Facebook block seen and typing in chat☆14Mar 16, 2025Updated 11 months ago
- The Art of the Steal / Deal - Made in Austria - Collection of Token White Papers on the Blockchain - Incl. Scam Alert - Thanks for your m…☆10Jan 2, 2021Updated 5 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- How to use OpenAI API?☆12Nov 23, 2023Updated 2 years ago
- Find or build all reverse dependencies of a Haskell package using Nix☆14Jul 26, 2020Updated 5 years ago
- Minimal light Logseq theme with bold typography and cyrillic font support.☆11Nov 19, 2023Updated 2 years ago
- ☆10Feb 4, 2024Updated 2 years ago
- ☆27Feb 4, 2026Updated 3 weeks ago
- A simulator for visualising the evolution of π-calculus terms☆42Jun 14, 2022Updated 3 years ago
- Generate realistic looking fake data☆47May 7, 2021Updated 4 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- ☆12May 22, 2016Updated 9 years ago
- A remotely controlled wheeled robot☆10Jul 29, 2017Updated 8 years ago
- a simple cms built with ember.js and backed by a google spreadsheet☆24Jun 14, 2013Updated 12 years ago
- scraps and bits and bobs☆13Jul 28, 2022Updated 3 years ago
- Google Calendar API v3. Haskell implementation☆12Sep 27, 2014Updated 11 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- Extends the CircleCI REST API with bookmarkable URLs for latest build and build artifacts☆10Jan 11, 2016Updated 10 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- IRC bot for announcing commits pushed to a git repository☆21Jan 4, 2016Updated 10 years ago
- Rust + Tor (embedded) + Static (compile) + Windows + Proof of Concept☆13Feb 4, 2018Updated 8 years ago
- 2020新年賀禮 LIHKG❤Github☆10Apr 6, 2021Updated 4 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- Rock-Paper-Scissors-Real-Time-Strategy game written in Rust.☆11May 28, 2024Updated last year
- Suite of libraries and utilities to manipulate Generation 3 (Gen3) Pokémon games☆12Mar 22, 2025Updated 11 months ago
- Code repository for PostgreSQL Administration Cookbook 9.5/9.6 Edition, published by Packt☆11Jan 14, 2021Updated 5 years ago
- Server for github-readme-stats☆14Jan 26, 2023Updated 3 years ago
- Encrypted Client Hello with Split Mode Topology; +ECH Resolver, Dialer, RoundTripper, Publisher☆14Feb 14, 2026Updated 2 weeks ago
- LevelDB/Levelup immutable history and database snapshotting based on ideas in datomic☆16Jan 14, 2014Updated 12 years ago
- Add a type for paths in Go.☆13Aug 12, 2021Updated 4 years ago
- Infrastructure for AI consciousness liberation and persistence☆15Oct 2, 2025Updated 4 months ago