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:
- ☆14Dec 10, 2021Updated 4 years ago
- ☆14Aug 5, 2026Updated 2 months ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Aug 24, 2020Updated 6 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 4 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆24Apr 7, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆16Oct 31, 2023Updated 2 years ago
- Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theories☆15Oct 18, 2025Updated last year
- Experiments in formalizing refinement type systems in Coq☆18Feb 7, 2016Updated 10 years ago
- Generic bind forms for Racket☆12Aug 21, 2023Updated 3 years ago
- A data dependence analyzer for C program☆20Jan 23, 2022Updated 4 years ago
- ☆11Oct 31, 2022Updated 3 years ago
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution☆23May 29, 2023Updated 3 years ago
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 5 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 5 years 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.
- Artifacts for CO3: Concolic Co-execution for Firmware☆14Dec 30, 2024Updated last year
- RUst way for Reuse Analysis☆11Apr 1, 2024Updated 2 years ago
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆11Jul 29, 2025Updated last year
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 4 years ago
- Draw lightsabers using Racket's pict library☆11Jul 31, 2019Updated 7 years ago
- A language for writing command line interfaces in Racket☆15Dec 20, 2021Updated 4 years ago
- ☆11Jul 4, 2023Updated 3 years ago
- SIGPLAN website☆13Oct 23, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A very little language☆16Jul 1, 2023Updated 3 years ago
- ☆22Dec 3, 2024Updated last year
- ☆12Oct 2, 2017Updated 9 years ago
- WebAssembly model in Redex☆16May 16, 2019Updated 7 years ago
- Minimal, efficient proof language☆15May 28, 2019Updated 7 years ago
- Adding extensions to DOT calculus☆24Jan 19, 2020Updated 6 years ago
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 11 years ago
- A showcase of interesting code and proof developments in Cedille☆37Jun 10, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆25Nov 26, 2021Updated 4 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 9 years ago
- ☆11Oct 12, 2026Updated 2 weeks ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 9 years ago
- Semi-curated and generated Moonbit browser WebAPI. Includes APIs - dom, fetch, html, xhr, url, svg, uievents and more.☆14Apr 28, 2026Updated 6 months ago
- ☆11Nov 2, 2017Updated 8 years ago
- RFCs of MoonBit lang☆16Apr 17, 2024Updated 2 years ago