Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
☆50Jun 1, 2026Updated last week
Alternatives and similar repositories for paralegal
Users that are interested in paralegal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Jan 8, 2022Updated 4 years ago
- AI-powered quiz generator☆28May 17, 2023Updated 3 years ago
- Human-friendly indexed collections☆57May 2, 2026Updated last month
- Experimental type level programming in Rust☆41Jul 19, 2021Updated 4 years ago
- MySQL-compatible database for GDPR compliance by construction.☆32Dec 5, 2025Updated 6 months 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.
- Awesome LLM for Cybersecurity☆12Nov 16, 2024Updated last year
- ☆20Jun 1, 2024Updated 2 years ago
- A different approach to an E-graph library☆28May 30, 2025Updated last year
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆21Dec 5, 2024Updated last year
- An IDE extension for debugging trait errors in Rust.☆338Sep 15, 2025Updated 8 months ago
- A Really Cool Calculator written in Haskell... or is it?☆46Aug 26, 2021Updated 4 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Jun 18, 2022Updated 3 years ago
- A memory allocator verified with Verus☆35May 16, 2026Updated 3 weeks ago
- ☆29May 7, 2026Updated last month
- 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.
- An architecture independent binary analysis tool for fingerprinting functions through NLP☆15Jun 5, 2026Updated last week
- Anil's OCaml Claude plugin collection☆32May 24, 2026Updated 3 weeks ago
- Programming Language designed for Program Synthesis with SMT-validation.☆33Updated this week
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Cedar policy language extension for Visual Studio Code☆27May 8, 2026Updated last month
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆190May 5, 2025Updated last year
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 3 years ago
- Optics library for rust☆51Sep 23, 2025Updated 8 months ago
- Fluxion is an actor framework designed with distributed systems in mind, namely sending messages not just between actors, but also betwee…☆29May 22, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Language Server implementation for the WIT interface definition language☆21May 10, 2024Updated 2 years ago
- This is a port of the Google+ iPad app timeline purely done with CSS3☆88Aug 2, 2012Updated 13 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Extend GHC's type checker with user-defined rules, without writing a type checker plugin.☆19Sep 20, 2021Updated 4 years ago
- Generation of abstract binding trees☆27Sep 26, 2025Updated 8 months ago
- being the notes and materials for CS410 in the 2013/14 academic session☆30May 27, 2014Updated 12 years ago
- CarpetFuzz's fuzzer component. Belongs to CarpetFuzz main repo.☆15Jun 29, 2024Updated last year
- A Knowledge Graph for Open Source Security Tools☆18Aug 15, 2023Updated 2 years ago
- Talk to be given at PLMW 2022☆19Jan 19, 2022Updated 4 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.
- A Full Tabbing System for APDA Style Debate Tournaments.☆22May 19, 2026Updated 3 weeks ago
- Exploratory project to gather Haskell links☆10May 27, 2025Updated last year
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated last year
- An implementation of "A Pretty Expressive Printer" in Racket☆28Apr 13, 2026Updated 2 months ago
- A playground for a global prompt for working with Claude Code and similar AI systems.☆31Aug 27, 2025Updated 9 months ago
- Formalization of CBPV extended with effect and coeffect tracking☆16Aug 30, 2024Updated last year
- A PBT framework☆10Jul 19, 2025Updated 10 months ago