RFCs for Cedar
☆19Jan 22, 2026Updated last month
Alternatives and similar repositories for rfcs
Users that are interested in rfcs are comparing it to the libraries listed below
Sorting:
- Definitional implementation of Cedar language and utilities for DRT☆157Updated this week
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- Formalisms Every Computer Scientist Should Know (course at ISTA)☆15Feb 8, 2024Updated 2 years ago
- Some examples of using the Cedar language to specify authorization☆108Updated this week
- Plan✕ is a platform for creating and publishing digital planning services☆17Updated this week
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Updated this week
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.☆13May 8, 2024Updated last year
- EmotionCircuits-LLM: A complete, reproducible framework for discovering and controlling emotion circuits in large language models.☆25Oct 20, 2025Updated 4 months ago
- ☆15Sep 7, 2025Updated 5 months ago
- Python platform for parallel Surrogate-Based Optimization☆12Nov 27, 2024Updated last year
- Direct transcription of an optimal control problem and resolution☆12Updated this week
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- ☆14Dec 2, 2021Updated 4 years ago
- Experiments with modal types☆17Oct 20, 2020Updated 5 years ago
- Transform messy HTML from Google Docs into well-structured HTML!☆14Jul 10, 2025Updated 7 months ago
- ☆10Nov 6, 2024Updated last year
- ☆10Sep 26, 2024Updated last year
- Public code release for the paper "Reawakening knowledge: Anticipatory recovery from catastrophic interference via structured training"☆11Oct 27, 2025Updated 4 months ago
- Analyzes whole genome sequencing data for gene-editing verification☆10Feb 6, 2026Updated 3 weeks ago
- FNV hash collision generator☆12Mar 2, 2017Updated 9 years ago
- TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs☆10Nov 2, 2022Updated 3 years ago
- Site da Guilda feito com Elixir e Phoenix LiveView.☆10Feb 23, 2023Updated 3 years ago
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 9 years ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆35Updated this week
- ☆11Oct 28, 2020Updated 5 years ago
- Given a Substack newsletter, save the contents into an sqlite db and format it as an epub☆13Jan 11, 2024Updated 2 years ago
- ☆13Apr 7, 2024Updated last year
- Website for the Research Data Management Librarian Academy☆18Feb 3, 2026Updated 3 weeks ago
- A model-based API Fuzzer for SMT Solvers.☆15Oct 14, 2025Updated 4 months ago
- Leprechaun Game wrote in Elixir☆12Nov 3, 2023Updated 2 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- ☆40Updated this week
- Find bottlenecks in your test suites☆17Feb 23, 2026Updated last week
- Relational Features for Planning☆14Feb 18, 2026Updated last week
- SGXRay: a bounded verifier for Intel SGX enclaves☆13Sep 10, 2021Updated 4 years ago
- A scalable error-friendly factories for your Elixir apps☆10Oct 13, 2020Updated 5 years ago
- ACE (Adaptive Code Evolution) is an AI-powered system for code analysis and optimization.☆12Nov 4, 2025Updated 3 months ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago