Structural search for Rust
☆15Nov 4, 2025Updated 8 months ago
Alternatives and similar repositories for ruggle
Users that are interested in ruggle are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A OCaml generator for well-typed terms (that use their arguments).☆13Feb 22, 2025Updated last year
- toy implementation of Hindley-Milner type system that prints out inference steps☆17Oct 26, 2025Updated 8 months ago
- ☆17Jul 24, 2024Updated last year
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Feb 7, 2024Updated 2 years ago
- ☆14Aug 19, 2025Updated 11 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.
- A cross-platform implementation of Dirman in Rust.☆11Jul 31, 2023Updated 2 years ago
- A PPX deriver that automates differential testing for OCaml modules☆26Nov 30, 2024Updated last year
- A reflection-based proof tactic for lattices in Coq☆21Mar 17, 2026Updated 4 months ago
- Resources for "One Monad to Prove Them All"☆29Dec 31, 2018Updated 7 years ago
- ☆16Nov 15, 2023Updated 2 years ago
- A database for your neorg notes☆16Mar 24, 2026Updated 3 months ago
- Tutorial Files for OpenFoam Heat Transfer☆17Aug 25, 2020Updated 5 years ago
- A clean implementation of Parsing with Zippers.☆38Sep 22, 2018Updated 7 years ago
- A search engine for C functions by their signature☆15Jul 13, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 4 years ago
- ☆16Jun 5, 2026Updated last month
- A linter for Fennel☆19Apr 15, 2025Updated last year
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- IO for Gallina☆35Jun 3, 2026Updated last month
- ☆16Oct 16, 2025Updated 9 months ago
- Rocqet proof language☆30Aug 11, 2025Updated 11 months ago
- Record my learn path of HEAP EXPLOITATION on LINUX☆14Feb 2, 2018Updated 8 years ago
- A mutual induction tactic for Lean 4.☆30Jul 14, 2026Updated last week
- 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.
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Apr 4, 2022Updated 4 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- Typed Clojure in your editor.☆18May 8, 2026Updated 2 months ago
- A central place to store statically compiled tools I use when auditing a Linux based device.☆14Sep 28, 2020Updated 5 years ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated 2 years ago
- Rust-powered Neovim package manager☆20Jul 8, 2023Updated 3 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- Actor-based Runtime Verification Tool☆18Apr 13, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Formalization of CBPV extended with effect and coeffect tracking☆17Aug 30, 2024Updated last year
- A PBT framework☆10Jul 19, 2025Updated last year
- `mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.☆17Jun 9, 2026Updated last month
- A little library giving you a live monitoring of MPI programs.☆25Oct 23, 2022Updated 3 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆18Sep 10, 2024Updated last year
- Simplified interface to using Unix commands with OCaml☆12Apr 10, 2025Updated last year