Static analysis framework for .NET programs.
☆29Dec 17, 2020Updated 5 years ago
Alternatives and similar repositories for analysis-net
Users that are interested in analysis-net are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Static analysis of MSIL based on the analysis-net infrastructure☆19Sep 23, 2022Updated 3 years ago
- net-ssa: A fast and easy-to-use register-based representation for .NET bytecode.☆34Feb 11, 2024Updated 2 years ago
- A C# syntax rewriter☆20May 2, 2023Updated 3 years ago
- create call graphs for .NET projects using the Roslyn infrastructure for parsing .NET bytecode☆14Sep 5, 2017Updated 8 years ago
- A Probabilistic Filter Tutorial☆12Nov 16, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.☆12Sep 14, 2017Updated 8 years ago
- A set of tools to work with CIL in .NET applications☆28May 29, 2025Updated 11 months ago
- Tiny PreProcessor☆18Dec 7, 2025Updated 5 months ago
- Python binary DisAssembler☆25Apr 22, 2015Updated 11 years ago
- Direct/Interactive C Compiler☆27Jul 4, 2017Updated 8 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- new generation language☆20Aug 2, 2013Updated 12 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- Reasonable Go.☆10Aug 13, 2018Updated 7 years ago
- Reverset is a reverse engineering, and binary analysis tool.☆19Jan 4, 2020Updated 6 years ago
- ☆13Jan 7, 2026Updated 4 months ago
- A port of Scala's Stream[+A] to C#.☆13Oct 7, 2022Updated 3 years ago
- ☆12May 9, 2015Updated 11 years ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆11Sep 17, 2014Updated 11 years ago
- QWIQ is a Quick Work Item Query library for Team Foundation Server / Visual Studio Online.☆14Feb 19, 2026Updated 3 months ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Portable Executable (+), Common Language Infrastructure format reader☆48May 5, 2026Updated 2 weeks ago
- A Python-based programmable static tracing disassembler☆14Apr 7, 2026Updated last month
- Erlang BEAM emulator in Haskell☆48Jun 14, 2014Updated 11 years ago
- A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …☆20Mar 10, 2024Updated 2 years ago
- Implementation of Red / Green syntax trees. Inspired by Rowan☆17May 18, 2026Updated last week
- Simple parser for Python marshal serialization and pyc files☆22Jan 23, 2026Updated 4 months ago
- Common Compiler Infrastructure☆106Sep 19, 2019Updated 6 years ago
- An LLVM-based formal verification frontend for C programs.☆26Oct 29, 2021Updated 4 years ago
- Generic implementation of different CFA families based on monadic decomposition☆23Jan 16, 2013Updated 13 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21May 13, 2025Updated last year
- Akka.net sandbox using c# in the backend, f# in the domain model.☆10Feb 25, 2019Updated 7 years ago
- Tools for enhanced editing of MSBuild proj files in Visual Studio 2017 and 2019☆97Mar 17, 2025Updated last year
- Prediction algorithms for the PCG pseudo-random generator☆15Nov 13, 2020Updated 5 years ago
- Simple examples on how to implement a DSL in Haskell.☆19Nov 6, 2019Updated 6 years ago
- like self-html... but for DSLs☆11Nov 20, 2021Updated 4 years ago