The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
☆32Feb 13, 2025Updated last year
Alternatives and similar repositories for axiom-profiler
Users that are interested in axiom-profiler are comparing it to the libraries listed below
Sorting:
- SMTscope automatically analyses and visualises SMT solver execution traces.☆60Dec 10, 2025Updated 2 months ago
- an optimizing curry compiler☆14Nov 27, 2022Updated 3 years ago
- ☆11Feb 1, 2026Updated last month
- Code for LLBL Rapid C# Windows Development eBook + LINQPad and Data Tools☆13Jul 14, 2025Updated 7 months ago
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 6 years ago
- A GUI tool for writing Simple.Data queries, with database-driven auto-completion.☆25Jun 10, 2013Updated 12 years ago
- Protect your application from overload with CPU limiting, memory limiting, gradual throttling, rate limiting, health checks, OpenTelemetr…☆16Feb 8, 2026Updated 3 weeks ago
- Automatically exported from code.google.com/p/full-maude☆16Sep 18, 2025Updated 5 months ago
- A mathematical foundation for Smalltalk-25☆19Feb 21, 2026Updated 2 weeks ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆18Dec 9, 2019Updated 6 years ago
- `&own` pointers in Stable Rust / `RefOwn` / `&mut` with move semantics (and thus drop)☆26Aug 11, 2024Updated last year
- A set of Roslyn analyzers related to exceptions usages☆22Sep 17, 2019Updated 6 years ago
- A plugin for LINQPad which displays compiler generated code.☆44Dec 1, 2018Updated 7 years ago
- Formalisation of a capability machine and principles for reasoning about security properties☆26Jul 4, 2025Updated 8 months ago
- My custom linqpad snippets☆27Jul 4, 2025Updated 8 months ago
- ☆29Jul 20, 2019Updated 6 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- A compiler for a simple language using llvm☆37Jun 14, 2023Updated 2 years ago
- ☆34Feb 28, 2026Updated last week
- Pivot extension for LinqPad.☆31Dec 12, 2022Updated 3 years ago
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆147Updated this week
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆37Feb 19, 2026Updated 2 weeks ago
- Execute ASP.NET Core WebAPI from Command Line☆29Jul 9, 2024Updated last year
- BitForex API Document☆11Jul 25, 2018Updated 7 years ago
- Execute MediatR requests via JsonRpc using WebAPI☆32Nov 3, 2016Updated 9 years ago
- HTML::Tidy is no longer being maintained. Please see the new project https://github.com/petdance/html-tidy5☆31Oct 2, 2018Updated 7 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Oct 16, 2023Updated 2 years ago
- SuperluminalPerf is a small .NET managed wrapper around the Superluminal PerformanceAPI.☆40Mar 17, 2024Updated last year
- General data dealing site☆12Dec 8, 2022Updated 3 years ago
- A collection of heat engines, based on the OpenAI Gym environment framework for use with reinforcement learning applications.☆15Dec 20, 2021Updated 4 years ago
- MitosEHR Official Development Repository☆23Jun 13, 2012Updated 13 years ago
- DreamSmooth: Improving Model-Based RL with Reward Smoothing (ICLR 2024)☆12May 6, 2024Updated last year
- Responsive bootstrap admin panel☆11Nov 7, 2017Updated 8 years ago
- An open source application for the quick analysis of titration data.☆11May 1, 2021Updated 4 years ago
- ☆11Jan 11, 2022Updated 4 years ago
- ☆14Mar 21, 2024Updated last year
- Teaching a humanoid to walk(ish), then displaying in your browser (using tensorflow.js and reinforcement learning)☆10Sep 7, 2020Updated 5 years ago
- About Code release for "Imagination Mechanism: Mesh Information Propagation for Enhancing Data Efficiency in Reinforcement Learning"☆13Oct 7, 2023Updated 2 years ago
- PowerShell module for X509 certificates, using BouncyCastle☆14Mar 4, 2017Updated 9 years ago