☆35Nov 12, 2020Updated 5 years ago
Alternatives and similar repositories for git-pretty-pull-request
Users that are interested in git-pretty-pull-request are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Port of the code from Typing Haskell in Haskell to Rust☆13Nov 10, 2013Updated 12 years ago
- Soundboard with no limits☆13Nov 18, 2025Updated 11 months ago
- The calculus of constructions☆11Oct 22, 2021Updated 5 years ago
- Lennart Augustsson's lamda cube☆12Jul 13, 2016Updated 10 years ago
- The Iron programming language☆16Jan 15, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- LSP inline hints for Lua, intended for use with Neovim.☆15May 31, 2023Updated 3 years ago
- A simple exercise in 4D shapes rendering☆12Apr 28, 2020Updated 6 years ago
- A simple api service to fetch information on diablo 2 information☆11Oct 13, 2021Updated 5 years ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆11Sep 17, 2014Updated 12 years ago
- glsl live coding daemon.☆14May 8, 2018Updated 8 years ago
- ☆17Oct 1, 2015Updated 11 years ago
- Customizable project headerline.☆14Aug 23, 2026Updated 2 months ago
- An interactive ZSH plugin that wraps some git operations for simplicity and productivity. Also, it contains completions and combines the …☆36Jan 25, 2023Updated 3 years ago
- A (very) simple graph library.☆13Apr 6, 2015Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Basic Database System implemented for MDBS course☆13Jun 17, 2014Updated 12 years ago
- Tsar programming language☆17Dec 22, 2019Updated 6 years ago
- [work-in-progress] Java parser written in Rust☆19May 19, 2022Updated 4 years ago
- My ctf-writeups☆12Jan 28, 2019Updated 7 years ago
- Flexoki Themes implemented on top of Modus Themes☆14Sep 23, 2026Updated last month
- Terminal UI that allows Alacritty users to quickly and easily shuffle through provided themes 🦄☆16Feb 14, 2022Updated 4 years ago
- Pretty "git ls-tree" of git directories☆14Sep 12, 2024Updated 2 years ago
- ☆17Mar 2, 2020Updated 6 years ago
- Rust implementation of k-d tree to efficiently perform color quantization to predefined sets☆13Feb 14, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ShamirSecretSharing Rust & Go implementation + WASM lib☆18Oct 10, 2021Updated 5 years ago
- a template for starting a rust-wasm project to be used with wasm-pack☆14Jun 3, 2019Updated 7 years ago
- A database written in Rust☆13Sep 7, 2020Updated 6 years ago
- In here you can find a random collection binaries from challenges, forums, ctfs meant to be reverse engineered.☆19Apr 17, 2018Updated 8 years ago
- A web app to allow better organisation of your Github stars☆10Jun 7, 2014Updated 12 years ago
- Example of how to implement complext data structure in rust using different methods☆15Mar 25, 2017Updated 9 years ago
- Yet Another Kev-Value DataBase☆20Sep 26, 2026Updated last month
- A simple and very light Neovim bufferline☆15Nov 19, 2025Updated 11 months ago
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 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.
- Advent Of Code 2015, 2016, 2017 solution in Rust ☃️🎄🎁🦌🎅☆12Jan 23, 2018Updated 8 years ago
- Toy database project in C☆17Mar 21, 2024Updated 2 years ago
- Save information about your GitHub starred repos into Google Sheets, Zinc, and SQLite!☆13Mar 19, 2026Updated 7 months ago
- display 3D meshes in your terminal!☆14Dec 10, 2023Updated 2 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- Swagger documentation with Rails app☆19Nov 29, 2018Updated 7 years ago
- Ultimate is a simple theme for minimalistic zsh users☆12Dec 19, 2016Updated 9 years ago