Java bindings for the GMP (GNU Multiple Precision Arithmetic Library) using JNA
☆12Dec 30, 2025Updated 10 months ago
Alternatives and similar repositories for JGMP
Users that are interested in JGMP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Dec 11, 2025Updated 10 months ago
- Java static analyzer built on LiSA — abstract interpretation, interprocedural analysis, and formal program verification. SV-COMP 2026 🥉☆34Updated this week
- PC-miner tool for program chairs☆30Dec 18, 2025Updated 10 months ago
- ☆31Jul 14, 2026Updated 3 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 4 years ago
- 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.
- Libra is a static analyzer for certifying fairness of feed-forward neural network classifiers of tabular data.☆24Oct 31, 2021Updated 5 years ago
- This directory contains the Optiboot small bootloader for AVR microcontrollers, modified to support transfer using Bluetooth Low Energy i…☆18May 19, 2017Updated 9 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆32Aug 4, 2026Updated 3 months ago
- ☆13Sep 20, 2021Updated 5 years ago
- EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode☆39Jun 18, 2026Updated 4 months ago
- This is a reference implementation of GLL and its variants written by Adrian Johnstone and tested by Elizabeth Scott; we are the authors …☆11May 29, 2024Updated 2 years ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆51Oct 11, 2026Updated 3 weeks ago
- ☆12Jan 7, 2025Updated last year
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆46May 25, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- VeriX: Towards Verified Explainability of Deep Neural Networks☆13Aug 5, 2026Updated 3 months ago
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 10 years ago
- Chemical programming framework based on Banâtre's Gamma☆11Feb 11, 2017Updated 9 years ago
- ☆11Jan 14, 2025Updated last year
- A curated list of awesome Haskell tutorial modules☆14Apr 7, 2026Updated 6 months ago
- springboot常用各类Demo整合，以纯洁的微笑大佬的demo为基础进行进一步整合。☆17Jun 22, 2022Updated 4 years ago
- Pure-OCaml YAML 1.2 & 1.1 Library☆14Aug 29, 2026Updated 2 months ago
- ☆11Oct 23, 2023Updated 3 years ago
- Companion repository for 'No More Orphans'☆14Oct 13, 2022Updated 4 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.
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆21Dec 3, 2023Updated 2 years ago
- Compile-time expression evaluation for Scala 2☆16Jun 15, 2026Updated 4 months ago
- Composable folds☆13Jul 18, 2018Updated 8 years ago
- Earley parsing algorithm implementation in Haskell including a CFG definition API☆13Sep 26, 2011Updated 15 years ago
- tlmqtt是一款基于Java开发的轻量级高性能的嵌入式MQTT Broker,一个注解快速将本地SpringBoot应用搭建成MQTT服务，支持3.1.1&5.0协议☆33Jul 11, 2026Updated 3 months ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆88Updated this week
- Parser Library in Coq to help outsource implementation and proof to AI☆18Sep 10, 2026Updated last month
- ☆16Jun 21, 2024Updated 2 years ago
- Coq based JSON-Schema to SMT system.☆13Dec 29, 2025Updated 10 months 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.
- SIEVE is simpler than LRU☆15Apr 29, 2024Updated 2 years ago
- UUID V1, V6, V7 & TypeID generation with ZIO☆14Oct 30, 2026Updated last week
- Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.☆17Oct 12, 2023Updated 3 years ago
- WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressi…☆19Oct 29, 2026Updated last week
- Everything about testing, especially TDD, Test-Driven Development: Really, It’s a Design Technique☆29Nov 30, 2023Updated 2 years ago
- Framework for building distributed microserviceies in scala with akka-streams and kafka☆15Nov 10, 2019Updated 6 years ago
- A combinator reduction engine that accepts syntax for lambda expressions and is optimal. Rebase pending. That will affect forks. Downstre…☆12Mar 31, 2024Updated 2 years ago