Pijul <-> Git proxy
☆22May 31, 2019Updated 7 years ago
Alternatives and similar repositories for PijulGit
Users that are interested in PijulGit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An TUI based elf analyzer☆10Apr 2, 2021Updated 5 years ago
- Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …☆71Oct 29, 2015Updated 10 years ago
- ☆40Aug 5, 2024Updated 2 years ago
- ☆37Apr 14, 2026Updated 4 months ago
- Rust crate to Guix package definition☆17Nov 9, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- Earley parser in Emacs Lisp☆16Oct 3, 2019Updated 6 years ago
- JIT compiler of LPeg patterns☆19Oct 4, 2015Updated 10 years ago
- Unofficial collection of packages that are not going to be accepted in to guix☆41Jan 26, 2017Updated 9 years ago
- Minimalistic color palette generator☆19Jan 26, 2019Updated 7 years ago
- A Brainfuck interpreter written in Rust and compiled to WebAssembly☆10Dec 4, 2017Updated 8 years ago
- Task-based framework for automatic synchronization and memory prefetching.☆17Dec 3, 2021Updated 4 years ago
- A cosmic, polyphonic, additive FM synthesizer.☆21Apr 6, 2023Updated 3 years ago
- Scans files for Nix store references and registers them with the Nix garbage collector.☆36Nov 25, 2025Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Coq BPF interpreter☆19Jan 18, 2018Updated 8 years ago
- Aligned allocation for Rust☆15Oct 27, 2020Updated 5 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- Create dozens/hundreds/thousands/millions of random examples based on a pest grammar (PEG). It can be used for generate string/structured…☆15Jun 8, 2021Updated 5 years ago
- Gallina to Bedrock2 compilation toolkit☆71Aug 28, 2026Updated last week
- A falling sand game written in assembly. The binary fits in 512 bytes.☆14Apr 10, 2024Updated 2 years ago
- Lean type-checker written in Scala.☆42Mar 13, 2022Updated 4 years ago
- I doesn't find examples in internet, so I wrote it and I gonna show you how to do that☆10Jan 20, 2025Updated last year
- A curated list of Wasm binaries that run in Golem☆13Nov 19, 2019Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- This is the main repository for the Viper IDE extension for VS Code.☆14Updated this week
- Compiler (with intermediate representation and x64 code generator)☆15Jul 20, 2021Updated 5 years ago
- An experimental project to create an interactive programming language.☆18Jul 11, 2025Updated last year
- Lens interface for your filesystem☆23Dec 21, 2020Updated 5 years ago
- A simple phaser game editor☆11Sep 12, 2015Updated 10 years ago
- A no frills delta debugger written in myrddin.☆29Nov 21, 2017Updated 8 years ago
- Messing around with deep learning☆11Aug 29, 2021Updated 5 years ago
- 3Dponics is a free 3D-printable crowd sourced hydroponics system. We encourage you to improve it! We need your help☆26Apr 3, 2015Updated 11 years ago
- Locks compatible with std::sync, but with runtime deadlock debugging for testing purposes☆27Nov 19, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Executable memory allocator with support for dual mapping and W^X protection☆13Jul 6, 2023Updated 3 years ago
- ☆11Sep 12, 2022Updated 3 years ago
- HTTP client with middleware. Middleware provides composable support for record/replay, logging, exponential backoff, and more.☆13Jun 5, 2025Updated last year
- Inserting elements into this map yields a persistent, type-safe Index to that new element.☆13Oct 15, 2018Updated 7 years ago
- A function for fetching the crates listed in a Cargo lock file☆59Apr 4, 2022Updated 4 years ago
- Racket Equivalence Graph Library☆19May 24, 2022Updated 4 years ago
- An attept to a fully configured Nix environment in a Docker image.☆18Dec 4, 2019Updated 6 years ago