pest book
☆56Dec 16, 2025Updated 5 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:
- This repo contains the source code for https://pest.rs☆13Mar 12, 2026Updated 2 months ago
- WIP pest 3.0☆18Apr 30, 2026Updated 3 weeks ago
- ☆93Dec 26, 2025Updated 4 months ago
- ☆27Apr 8, 2024Updated 2 years ago
- A Functional CSS Preprocessor☆13Mar 14, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A framework for processing the output of a pest-generated parser☆47Mar 18, 2024Updated 2 years ago
- ☆16Sep 1, 2021Updated 4 years ago
- The Elegant Parser☆5,341Apr 19, 2026Updated last month
- Various resources for Mitsuba 3☆11Nov 24, 2024Updated last year
- Visualizes dependencies between tasks☆22Nov 12, 2020Updated 5 years ago
- SATySFi parser writtern in Rust.☆14Apr 14, 2022Updated 4 years ago
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago
- Open source F# mathematical logic library.☆13May 16, 2022Updated 4 years ago
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 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.
- First-order logic theorem prover supporting unification with approximate vector similarity☆14Mar 23, 2023Updated 3 years ago
- Python-based Scraping and parsing toolkit☆12Apr 1, 2023Updated 3 years ago
- A compact, optimizing WebAssembly 3.0 JIT, from desktop to microcontroller☆49Updated this week
- 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 7 years ago
- A simple whiteboard.☆11Nov 11, 2021Updated 4 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
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆17Oct 23, 2012Updated 13 years ago
- Graph library for Rust☆27Aug 25, 2025Updated 8 months ago
- a CLI programmer's calculator written in Rust, with an Alfred workflow GUI☆16Jun 16, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- blogs about Coimpiler & Virtual Machine☆12Jun 15, 2025Updated 11 months ago
- MiniSat reimplemented in Rust☆21Apr 18, 2018Updated 8 years ago
- List of Mastodon users that toot about programming and IT.☆24Feb 14, 2026Updated 3 months ago
- A TOML parser for CHICKEN Scheme built with comparse☆12Jun 12, 2019Updated 6 years ago
- Moe Moe Kyun☆17Oct 29, 2020Updated 5 years ago
- ☆14Dec 11, 2022Updated 3 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- An alternative to monads in do notation☆13Jan 27, 2021Updated 5 years ago
- An easy to use dice rolling library for Rust☆18Jan 27, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Declarative macros for statically initializing collections with ease☆30Jan 29, 2024Updated 2 years ago
- Node.js tar binding https://docs.rs/tar/latest/tar/☆16May 10, 2026Updated last week
- Things wanted or needed but missing from clojure.core☆19Aug 9, 2025Updated 9 months ago
- thautwarm utilities.☆11Oct 16, 2018Updated 7 years ago
- 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
- Flexible factory library, successor to Facai☆14Mar 23, 2023Updated 3 years ago
- an async Clojure+Script port of the non-view parts of re-frame☆28Jul 4, 2023Updated 2 years ago