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:
- This repo contains the source code for https://pest.rs☆13Mar 12, 2026Updated 4 months ago
- WIP pest 3.0☆18Apr 30, 2026Updated 2 months ago
- ☆93Dec 26, 2025Updated 6 months ago
- ☆27Apr 8, 2024Updated 2 years ago
- A Functional CSS Preprocessor☆13Mar 14, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A CSV parser written in Rust with nom☆25Nov 16, 2016Updated 9 years ago
- A framework for processing the output of a pest-generated parser☆47Mar 18, 2024Updated 2 years ago
- Immutable Package management for the JavaScript ecosystem using IPFS☆16Jan 7, 2018Updated 8 years ago
- The Elegant Parser☆5,370Jul 4, 2026Updated 2 weeks ago
- SATySFi parser writtern in Rust.☆14Apr 14, 2022Updated 4 years ago
- CWRC ontology - primary repository☆13Jul 8, 2026Updated last week
- 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.☆13May 16, 2022Updated 4 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆14Mar 23, 2023Updated 3 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.
- Provide expansion of proc-macros, in a way that rustc directs you directly to the issues at hand☆22Jan 6, 2025Updated last year
- 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
- Part of series on bidirectional streaming audio APIs☆20Updated this week
- Graph library for Rust☆28Updated this week
- a CLI programmer's calculator written in Rust, with an Alfred workflow GUI☆16Jun 16, 2017Updated 9 years ago
- Declarative macros for statically initializing collections with ease☆30Jan 29, 2024Updated 2 years ago
- Node.js tar binding https://docs.rs/tar/latest/tar/☆16Updated this week
- ☆18Dec 17, 2025Updated 7 months ago
- Command-line interface for application.garden☆16Sep 1, 2025Updated 10 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks☆15Mar 20, 2023Updated 3 years ago
- 🔮 칭찬 구슬로 소통하고, 아카이빙하는 SNS 서비스 '프레이즈 업'☆12Feb 25, 2024Updated 2 years ago
- 浅井健一『プログラミングの基礎』でプログラミングやOCamlを学ぶ。☆15May 19, 2018Updated 8 years ago
- create pdf from mediawiki☆19Apr 3, 2017Updated 9 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
- ☆22Nov 8, 2025Updated 8 months 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.
- An ordered multimap.☆22Nov 25, 2024Updated last year
- Rust IP Stack - A userspace IP stack written in Rust (Work in progress)☆25May 17, 2018Updated 8 years ago
- Use handlebar templates in tide☆10Jun 7, 2021Updated 5 years ago
- simple golang line notify☆15Feb 13, 2021Updated 5 years ago
- RDF parser written in Elixir☆12Apr 5, 2017Updated 9 years ago
- An early-stage PHP-7.1-parser written in rust☆13Nov 19, 2016Updated 9 years ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆27Oct 13, 2025Updated 9 months ago