some my implementation of content in PPA
☆18Nov 3, 2020Updated 5 years ago
Alternatives and similar repositories for ppa-in-code
Users that are interested in ppa-in-code are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experiments in formalizing refinement type systems in Coq☆18Feb 7, 2016Updated 10 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆24Apr 7, 2022Updated 4 years ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years 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.
- ☆15Oct 31, 2023Updated 2 years ago
- Normalization by evaluation of simply typed combinators.☆26Feb 24, 2022Updated 4 years ago
- A graduate seminar on SMT solving and solver-aided systems☆28Jul 17, 2022Updated 3 years ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 2 years ago
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 5 years ago
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution☆22May 29, 2023Updated 2 years ago
- A data dependence analyzer for C program☆20Jan 23, 2022Updated 4 years ago
- ☆11Oct 31, 2022Updated 3 years ago
- Artifacts for CO3: Concolic Co-execution for Firmware☆13Dec 30, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 4 years ago
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- quotient types in cubical Agda☆24Feb 4, 2019Updated 7 years ago
- Draw lightsabers using Racket's pict library☆11Jul 31, 2019Updated 6 years ago
- Source code of the paper "FirmRCA: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-based Fault Localization"☆13Jan 6, 2026Updated 3 months ago
- ☆11Jul 4, 2023Updated 2 years ago
- 🍎 Play Bad Apple! with Haskell☆15Jul 22, 2022Updated 3 years ago
- A language for writing command line interfaces in Racket☆15Dec 20, 2021Updated 4 years ago
- 要是不做开源的话， 我可能早就财务自由了吧？😅☆19Dec 20, 2021Updated 4 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.
- #lang for writing C code☆16May 30, 2017Updated 8 years ago
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 3 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- ☆23Dec 3, 2024Updated last year
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆20Mar 24, 2022Updated 4 years ago
- predicate scientific program performance model using llvm☆27Jun 12, 2015Updated 10 years ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 9 years ago
- Optimization Coach Plug-In for DrRacket☆20Feb 21, 2026Updated 2 months 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.
- gosec动态规则修改版☆12Jun 29, 2021Updated 4 years ago
- ☆21Sep 25, 2023Updated 2 years ago
- SIGPLAN website☆13Apr 21, 2026Updated last week
- Adding extensions to DOT calculus☆24Jan 19, 2020Updated 6 years ago
- Temporal Pathway Synthesizer☆17Jun 28, 2024Updated last year
- A very little language☆16Jul 1, 2023Updated 2 years ago
- A showcase of interesting code and proof developments in Cedille☆36Jun 10, 2025Updated 10 months ago