Auxiliary repository used to store pre-compiled binary distribution packages of Z3.
☆18Jun 7, 2019Updated 7 years ago
Alternatives and similar repositories for bin
Users that are interested in bin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆23Jun 13, 2023Updated 3 years ago
- Tool to select and copy special characters from all installed fonts☆18Oct 14, 2026Updated 2 weeks ago
- A very powerful keyboard layout for Windows, tailored for efficient and convenient output of international alphabetical languages and sc…☆17Mar 17, 2026Updated 7 months 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.
- A model-checker for caml programs.☆13Mar 31, 2021Updated 5 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 13 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- BLAS Library in Exo☆12Aug 15, 2026Updated 2 months ago
- A tiny language for teaching and experimenting with Refinement Types☆50Jun 22, 2021Updated 5 years ago
- A Course in Data Structures & Algorithms, Purposeful Web Engineering, Software Construction☆10Sep 4, 2024Updated 2 years ago
- Network graphs with nodes and edges written in Elm.☆11May 30, 2017Updated 9 years ago
- Automatically exported from code.google.com/p/rosasm2052f☆15Jun 12, 2022Updated 4 years ago
- Support for linearly-typed generics in Haskell☆10Jun 18, 2026Updated 4 months 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.
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆11Oct 24, 2016Updated 10 years ago
- Blue - a colorForth/fasmg love child☆12Nov 28, 2025Updated 11 months ago
- Bubo, the owl strategist, here to help you to build a fortune. NyxsOwl is an innovative machine learning framework designed to simplify a…☆10Jul 8, 2025Updated last year
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Jul 19, 2023Updated 3 years ago
- (unmaintained) HTML outliner☆14Mar 21, 2014Updated 12 years ago
- Mu-FRET adds refactoring functionality to the Formal Requirements Elicitation Tool (FRET). Originally this work was part of the VALU3S pr…☆13Mar 14, 2026Updated 7 months ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- Thrive is an ETL framework that runs single-row transformations on HDFS data and makes the data available in relational databases (Hive a…☆10Aug 4, 2017Updated 9 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.
- Nola: Later-Free Ghost State for Verifying Termination in Iris☆10Aug 2, 2025Updated last year
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆48Sep 25, 2026Updated last month
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- Model for provider-neutral financial data, with implementation for IEX☆14Jul 30, 2019Updated 7 years ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆20Jul 8, 2019Updated 7 years ago
- Materials for a 'Python for Science' bootcamp workshop.☆13Sep 23, 2018Updated 8 years ago
- Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.☆14Dec 29, 2025Updated 10 months ago
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆11Dec 16, 2018Updated 7 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.
- How my AIs and I build.☆30Updated this week
- Functional Vector Graphics☆17Jun 19, 2017Updated 9 years ago
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆12Jul 1, 2020Updated 6 years ago
- Pyrefine – python code checker based on Hoare logic☆11Sep 29, 2022Updated 4 years ago
- An experiment in publishing a Haskell library as a Python Wheel.☆11Apr 30, 2025Updated last year
- Python to Rust compiler☆14Aug 28, 2022Updated 4 years ago
- A toy programming language you use to build other toys☆13May 15, 2025Updated last year