pest book
☆58Dec 16, 2025Updated 7 months ago
Alternatives and similar repositories for book
Users that are interested in book are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WIP pest 3.0☆18Apr 30, 2026Updated 3 months ago
- ☆93Jul 22, 2026Updated 2 weeks ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated last year
- A framework for processing the output of a pest-generated parser☆47Mar 18, 2024Updated 2 years ago
- Whitepapers and document repository for makepad☆13May 6, 2022Updated 4 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.
- Immutable Package management for the JavaScript ecosystem using IPFS☆16Jan 7, 2018Updated 8 years ago
- Visualizes dependencies between tasks☆22Nov 12, 2020Updated 5 years ago
- The Elegant Parser☆5,374Updated this week
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago
- CWRC ontology - primary repository☆13Jul 8, 2026Updated last month
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- Open source F# mathematical logic library.☆14May 16, 2022Updated 4 years ago
- A Rust module for generating Prefixed API Keys☆15Aug 21, 2024Updated last year
- Python-based Scraping and parsing toolkit☆12Apr 1, 2023Updated 3 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.
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆13May 23, 2018Updated 8 years ago
- ergonomic tide testing extension☆19Sep 25, 2022Updated 3 years ago
- ☆21Aug 25, 2017Updated 8 years ago
- Rudac is a Rust Data structure and Algorithm Crate. It aims to be a comprehensive crate of useful data structure and algorithms.☆18Oct 14, 2021Updated 4 years ago
- Add support for geometric types and functions to diesel☆20Jan 29, 2023Updated 3 years ago
- a CLI programmer's calculator written in Rust, with an Alfred workflow GUI☆16Jun 16, 2017Updated 9 years ago
- Smart contracts used in AMB-NET☆14Sep 22, 2023Updated 2 years ago
- MiniSat reimplemented in Rust☆21Apr 18, 2018Updated 8 years ago
- List of Mastodon users that toot about programming and IT.☆25Feb 14, 2026Updated 5 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.
- The calculator using Inkwell and Rust Peg☆14Mar 26, 2019Updated 7 years ago
- Project Fluent for Clojure/script☆14Jul 15, 2026Updated 3 weeks ago
- A simple circular progress view for iOS.☆11Apr 1, 2022Updated 4 years ago
- Declarative macros for statically initializing collections with ease☆30Jan 29, 2024Updated 2 years ago
- An alternative to monads in do notation☆13Jan 27, 2021Updated 5 years ago
- Command-line interface for application.garden☆16Sep 1, 2025Updated 11 months ago
- An easy to use dice rolling library for Rust☆18Jan 27, 2022Updated 4 years ago
- DEPRECATED in favour of https://github.com/rust-unofficial/awesome-rust☆14Apr 28, 2019Updated 7 years ago
- Syntax highlighting for Fennel☆15Feb 1, 2024Updated 2 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.
- laboratório de integração Lua com libuv para execução de scripts assíncronos e experimentação de POCs☆16Jan 28, 2025Updated last year
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 5 years ago
- 🔮 칭찬 구슬로 소통하고, 아카이빙하는 SNS 서비스 '프레이즈 업'☆12Feb 25, 2024Updated 2 years ago
- create pdf from mediawiki☆19Apr 3, 2017Updated 9 years ago
- Flexible factory library, successor to Facai☆14Mar 23, 2023Updated 3 years ago
- Proof search for intuitionistic propositional logic using Dyckhoff's LJT.☆27Nov 27, 2023Updated 2 years ago
- an async Clojure+Script port of the non-view parts of re-frame☆28Jul 4, 2023Updated 3 years ago