Repository for the HARDENS project
☆27Dec 12, 2024Updated last year
Alternatives and similar repositories for HARDENS
Users that are interested in HARDENS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Actor-based Runtime Verification Tool☆19Apr 13, 2023Updated 2 years ago
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆13Feb 12, 2020Updated 6 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- Power grid analysis☆21Aug 5, 2020Updated 5 years ago
- Balzac is a domain-specific language to write Bitcoin transactions.☆26Jul 12, 2025Updated 8 months ago
- 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.
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆38Jan 29, 2024Updated 2 years ago
- The Candle theorem prover (fork of the HOL Light sources)☆19Mar 27, 2026Updated 2 weeks ago
- Manage legacy code with comments.☆17Updated this week
- Simple string substitution for Haskell.☆15May 8, 2018Updated 7 years ago
- Streamlining Solution, Architecture, and Requirements for perfect Alignment.☆38Updated this week
- Automated, schema-based JSON unpacking to Polars objects☆13Sep 14, 2025Updated 6 months ago
- SQLite bindings for Lean☆41Updated this week
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆119Updated this week
- GitHub IssueをProjectに自動登録☆10Updated this week
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Simulate slow, resource-constrained machines to reproduce CI failures and hunt flaky tests☆25Dec 6, 2025Updated 4 months ago
- Griffe extension for `annotated-doc` (originally PEP 727)☆21Updated this week
- SKY130 SRAM macros generated by SRAM 22☆21Aug 19, 2025Updated 7 months ago
- Simple and high-speed vector tile server developed in Rust☆29Mar 21, 2026Updated 3 weeks ago
- Approximate Network Integration, Matching, and Enrichment☆22Mar 22, 2026Updated 2 weeks ago
- Triplestore wrapper package for Python.☆13Updated this week
- Instantly share typst documents on git and other network storage.☆32Nov 8, 2025Updated 5 months ago
- BSC Development Workstation (BDW)☆32Mar 29, 2026Updated last week
- jShiny server☆16Jan 24, 2017Updated 9 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.
- A framework for the elicitation, specification, formalization and analysis of requirements.☆420Mar 13, 2026Updated 3 weeks ago
- ☆16Mar 14, 2024Updated 2 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- ☆13Aug 14, 2025Updated 7 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Minimal Example of the Rust extendr Crate☆21Jul 7, 2023Updated 2 years ago
- Drive the Nix build system using the Dhall configuration language☆27Nov 17, 2018Updated 7 years ago
- Python 2D Navier-Stokes solver☆29Aug 4, 2025Updated 8 months ago
- 3D visualizations and editing in Julia + OpenGL☆19Feb 8, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Logically-Constrained Reinforcement Learning☆57Jul 5, 2024Updated last year
- DLite - a lightweight data-centric framework for semantic interoperability☆43Mar 30, 2026Updated last week
- Mesh eXchange library.☆23Apr 16, 2025Updated 11 months ago
- Type-safe printf from parsing GHC TypeLits Symbol☆28Sep 12, 2024Updated last year
- Lean for Scientists and Engineers, course taught in Summer 2024☆29Jan 6, 2025Updated last year
- derive types from other types to make it easier to type code!☆22Updated this week
- Decompiler of LLVM bitcode to C☆92Dec 4, 2025Updated 4 months ago