viperproject / axiom-profilerView external linksLinks
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:
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- 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…☆16Updated this week
- Automatically exported from code.google.com/p/full-maude☆16Sep 18, 2025Updated 4 months ago
- Lightweight web server for .NET and Mono☆69Jun 1, 2014Updated 11 years ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆18Dec 9, 2019Updated 6 years ago
- A set of Roslyn analyzers related to exceptions usages☆22Sep 17, 2019Updated 6 years ago
- Json Visualizer for LINQPad☆21Nov 9, 2020Updated 5 years ago
- multiparameter typeclasses for Julia☆24Jan 25, 2017Updated 9 years ago
- ☆29Jul 20, 2019Updated 6 years ago
- My custom linqpad snippets☆27Jul 4, 2025Updated 7 months ago
- ☆31Oct 14, 2025Updated 4 months 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
- Slides about HyperDbg☆40Updated this week
- Pivot extension for LinqPad.☆31Dec 12, 2022Updated 3 years ago
- ☆34Updated this week
- FUSION is an open-source project aimed at revolutionizing networking through the simulation of advanced SD-EONs and AI-enhanced networks,…☆13Jan 30, 2026Updated 2 weeks ago
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆36Dec 27, 2025Updated last month
- ☆31Oct 13, 2025Updated 4 months ago
- A Rust hashconsing library.☆38Jul 15, 2024Updated last year
- Execute ASP.NET Core WebAPI from Command Line☆29Jul 9, 2024Updated last year
- ☆10Sep 24, 2021Updated 4 years ago
- BitForex API Document☆12Jul 25, 2018Updated 7 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
- SuperluminalPerf is a small .NET managed wrapper around the Superluminal PerformanceAPI.☆40Mar 17, 2024Updated last year
- ☆11Aug 4, 2019Updated 6 years ago
- ☆14Mar 21, 2024Updated last year
- C# implementation of Peter Norvig’s spelling corrector☆10Feb 24, 2023Updated 2 years ago
- About Code release for "Imagination Mechanism: Mesh Information Propagation for Enhancing Data Efficiency in Reinforcement Learning"☆13Oct 7, 2023Updated 2 years ago
- Pure-Haskell proper unicode string handling☆15Jun 5, 2016Updated 9 years ago
- Responsive bootstrap admin panel☆11Nov 7, 2017Updated 8 years ago
- BarcodeParserBuilder is a .Net ( standard 2.0 & 2.1 ) nuget package to help parse & build barcode strings☆15Jan 19, 2026Updated 3 weeks ago
- ☆11Sep 8, 2022Updated 3 years ago
- Good code.☆17Nov 18, 2018Updated 7 years ago
- This was a one-shot POC, no intentions to do any updates to it at this time.☆12Mar 30, 2018Updated 7 years ago
- ☆11Jan 11, 2022Updated 4 years ago