Static Analysis Framework for Modular Analyses
☆14Jul 29, 2026Updated 3 months ago
Alternatives and similar repositories for maf
Users that are interested in maf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 11 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆20Jan 30, 2025Updated last year
- VBoard, web dashboards in 3D and VR☆11Jan 31, 2019Updated 7 years ago
- Get information about containers' images w/o downloading them☆11Mar 7, 2016Updated 10 years ago
- a common lisp library to help convert english and lisp-symbols into each other and various formats☆13Jan 20, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Updated this week
- implemented using elixir and phoenix☆16Jan 15, 2021Updated 5 years ago
- Widget Generator for Flutter☆14Sep 27, 2021Updated 5 years ago
- A stack-driven generator of arbitrary WebAssembly programs☆22Sep 5, 2021Updated 5 years ago
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated last year
- Collection of cadastral maps of different countries☆11Dec 13, 2021Updated 4 years ago
- a clone of the classic amiga game☆13Jul 9, 2022Updated 4 years ago
- this project is created to implement a web application using React-php-Mysql☆17Dec 27, 2018Updated 7 years ago
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆12Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 5 years ago
- Silly geodefense clone wannabe☆15Nov 27, 2014Updated 11 years ago
- 🧮 Polynomial Calculator☆12Jan 3, 2023Updated 3 years ago
- Collections of services for search data from passengers lists and emigrants records☆12Jun 3, 2022Updated 4 years ago
- ☆12Dec 4, 2021Updated 4 years ago
- Common Lisp CFFI bindings to the Horde3D graphics library.☆15Nov 14, 2013Updated 12 years ago
- Allwinner A10 support for FreeBSD☆17Oct 26, 2016Updated 10 years ago
- ☆17Oct 16, 2026Updated last week
- Recipe Ingredient Parser☆12Nov 16, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆15Jun 20, 2025Updated last year
- WASP Research Arena for Software☆12Jun 10, 2022Updated 4 years ago
- Paste service that uses Pygments☆16Jun 6, 2024Updated 2 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆31Aug 4, 2026Updated 2 months ago
- A minimal esolang based on lambda calculus☆16Jan 13, 2021Updated 5 years ago
- (Abstract) Abstract Machine Experiments using Scala☆36Jan 15, 2021Updated 5 years ago
- Daemon for dynamic playlists in MPD☆18Nov 2, 2013Updated 12 years ago
- Go bindings for SFML☆15Apr 30, 2015Updated 11 years ago
- OCaml bindings for the Xlib library.☆17Dec 2, 2020Updated 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.
- Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols☆17Updated this week
- Disassembly Generation and Processing for JARV1S☆15Jul 15, 2025Updated last year
- ☆13Oct 16, 2026Updated last week
- Extensions to Koka's std libraries (definitely unofficial, likely to be split into other packages)☆12Sep 20, 2026Updated last month
- Flutter Analyzer for Flutter☆16Sep 22, 2024Updated 2 years ago
- https://0xor0ne.github.io/☆12Jul 17, 2023Updated 3 years ago
- Ocaml port of the C++ SFML library.☆17Nov 1, 2015Updated 10 years ago