Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
☆44Feb 20, 2026Updated last week
Alternatives and similar repositories for paralegal
Users that are interested in paralegal are comparing it to the libraries listed below
Sorting:
- ☆12Jan 8, 2022Updated 4 years ago
- Information Flow Analysis for C#. Understand What Your Code Really Does☆41Nov 11, 2025Updated 3 months ago
- ☆20Sep 30, 2022Updated 3 years ago
- Aeon programming language☆25Feb 9, 2026Updated 3 weeks ago
- ☆22Updated this week
- ☆19Jun 1, 2024Updated last year
- AI-powered quiz generator☆27May 17, 2023Updated 2 years ago
- Type-level interfaces for type-level design in Rust☆25Feb 3, 2025Updated last year
- A different approach to an E-graph library☆28May 30, 2025Updated 9 months ago
- A memory allocator verified with Verus☆30Feb 18, 2026Updated 2 weeks ago
- An IDE extension for debugging trait errors in Rust.☆316Sep 15, 2025Updated 5 months ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- An upper-division course in UCLA's Asian American Studies Department designed to utilize web technologies and empower communities for soc…☆12Apr 24, 2023Updated 2 years ago
- Ranged integers for Rust based on const generics☆29Jan 31, 2026Updated last month
- MIT semester course planning app☆32Updated this week
- Monomorphize polymorphic functions for testing☆36Jan 17, 2017Updated 9 years ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 3 months ago
- ☆10Jul 29, 2022Updated 3 years ago
- Visual Novel Interpreter for iOS☆16Feb 15, 2012Updated 14 years ago
- Experimental type level programming in Rust☆41Jul 19, 2021Updated 4 years ago
- An experiment in an augmented error handling type for Rust☆40Sep 8, 2025Updated 5 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆11May 12, 2025Updated 9 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- 👋 get to know me through my personal website!☆10Aug 8, 2025Updated 6 months ago
- Race Condition Running☆11Feb 22, 2026Updated last week
- A compiler for functional programs on serialized data☆175Feb 22, 2026Updated last week
- ☆55Aug 16, 2025Updated 6 months ago
- A port of Runebender from Druid to Xilem☆32Updated this week
- Demo of an In-database processing tool for scikit-learn☆13Oct 18, 2022Updated 3 years ago
- Network Block Device (NBD) server and client written in Rust☆12Dec 4, 2024Updated last year
- Wrath of Zeus: 3v1 maze escape for UCSD CSE125☆11Jun 9, 2024Updated last year
- Tracking KubeVirt related enhancements and issues☆14Feb 20, 2026Updated last week
- An open-source framework for benchmarking of feature selection algorithms and cost functions.☆10Mar 6, 2020Updated 5 years ago
- Install dzgui on nix systems☆10Dec 5, 2025Updated 2 months ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago