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
- 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
- 一个Go语言编写的可扩展的蜜罐框架☆17Feb 24, 2022Updated 4 years 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.
- A set of tools to work with CIL in .NET applications☆28May 29, 2025Updated last year
- A simple pickle assembler to make handcrafting pickle bytecode easier.☆15Apr 16, 2021Updated 5 years ago
- F# community activity aggregator, built with WebSharper.☆15Feb 14, 2016Updated 10 years ago
- Default project สำหรับงาน data science ที่รวมเอา library หลักๆ ที่ต้องใช้บน Python 3.11 ไว้ให้แล้วใน requirements.txt☆21Feb 6, 2024Updated 2 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago
- Reasonable Go.☆10Aug 13, 2018Updated 8 years ago
- A source generator for C# that uses Roslyn to create extensions and parsers for enumerations☆17Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13Jan 7, 2026Updated 7 months ago
- A port of Scala's Stream[+A] to C#.☆13Oct 7, 2022Updated 3 years ago
- ☆12May 9, 2015Updated 11 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 5 years ago
- Portable Executable (+), Common Language Infrastructure format reader☆48May 5, 2026Updated 3 months ago
- Extensions.dll contains extension methods that enhance existing C# classes thus making life easier for developers.☆15Jan 6, 2025Updated last year
- Fetches and applies the image of the day from Bing as the wallpaper for Windows.☆10Jan 4, 2024Updated 2 years ago
- Spacemacs website.☆22Dec 1, 2024Updated last year
- A virtual memory scanner☆10Jan 2, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- concise functionless functional esolang☆14Jan 18, 2026Updated 6 months ago
- Fast, dependency-free XML serializer for .NET written in F#☆23Oct 23, 2015Updated 10 years ago
- Tiny PreProcessor☆18Jul 8, 2026Updated last month
- VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.☆10Sep 14, 2017Updated 8 years ago
- NPM module to convert GitHub markdown to HTML with GitHub-like styling and static assets. Output is ready to serve via static file hostin…☆25Feb 3, 2025Updated last year
- Extensions for analyzers & code fixes.☆18May 18, 2024Updated 2 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆14Feb 26, 2024Updated 2 years ago
- An alternative implementation of Dictionary<K,V> on C#☆27Mar 9, 2020Updated 6 years ago
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A collection of simple Game Boy assembly examples☆31Sep 18, 2025Updated 10 months ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 9 years ago
- Minimalist view layer for the web https://syarul.github.io/keet☆11Jan 4, 2023Updated 3 years ago
- Libbet and the Magic Floor - a puzzle game for Game Boy☆40Jul 31, 2026Updated 2 weeks ago
- A collection of test roms for the Gameboy Color☆36Mar 22, 2025Updated last year
- Simple examples on how to implement a DSL in Haskell.☆19Nov 6, 2019Updated 6 years ago
- TIC-80 is a fantasy computer for making, playing and sharing tiny games.☆14May 6, 2024Updated 2 years ago