A simple tutorial about how to use the CIL compiler frontend
☆12Feb 10, 2025Updated last year
Alternatives and similar repositories for cil-template
Users that are interested in cil-template are comparing it to the libraries listed below
Sorting:
- C Intermediate Language☆159Feb 10, 2026Updated 2 weeks ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- a copy of m^2 's fsbench (https://chiselapp.com/user/Justin_be_my_guide/repository/fsbench/) with the latest density updates☆14Dec 30, 2019Updated 6 years ago
- repository for scratch code☆14Jun 21, 2016Updated 9 years ago
- Code and slides from talk Refactoring to Patterns with ReSharper, JetBrains .NET Days Online, May 2020☆10May 13, 2020Updated 5 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago
- Windows Sets sample from Build 2018☆11Apr 16, 2022Updated 3 years ago
- ☆10Apr 3, 2024Updated last year
- A GuidGen tool similar to the one that ships with VS, but less than a decade old.☆10Aug 26, 2024Updated last year
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- Numerical snippets & tests☆12Jan 5, 2026Updated last month
- Ada-tailored UML Modeling Language☆11May 14, 2023Updated 2 years ago
- Railway oriented programming talk and code for TechTrain2021☆11Mar 26, 2021Updated 4 years ago
- An experimental lossless data compression program with high compression ratio.☆15Feb 27, 2013Updated 13 years ago
- Updated version of LocBaml tool from Microsoft☆13Oct 27, 2017Updated 8 years ago
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 8 years ago
- Concolic Exection Engine for Golang☆10May 16, 2018Updated 7 years ago
- Archive of Windows Universal Samples repo from //build 2015. "This repo contains the samples that demonstrate the API usage patterns for …☆13Apr 16, 2022Updated 3 years ago
- An end-to-end management tool for very large computing environments, physical and virtual. it collects alarms and detailed statistics fro…☆16Apr 7, 2023Updated 2 years ago
- ☆13Oct 22, 2020Updated 5 years ago
- Using ReactiveUI and Reactive Extensions to serach with Bing☆13Aug 19, 2015Updated 10 years ago
- Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity☆11Jul 2, 2023Updated 2 years ago
- ☆11Dec 2, 2017Updated 8 years ago
- mango fun framework☆11Feb 17, 2021Updated 5 years ago
- Engine - View - Controller template☆10Jul 5, 2018Updated 7 years ago
- FORTRESS is a formatter/modernizer of legacy FORTRAN code.☆14Dec 13, 2019Updated 6 years ago
- ☆10Oct 25, 2019Updated 6 years ago
- C# code sample to validate bearer token for Outlook Actionable Messages☆12May 12, 2020Updated 5 years ago
- C++ library for detecting Visual C++ runtimes on Windows XP and later.☆18Jul 7, 2014Updated 11 years ago
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 12 years ago
- OCaml (subset) to LLVM IR compiler front-end 🐪☆27Jan 19, 2026Updated last month
- Repository for dealing with Malloc mangling functions☆12Jun 11, 2020Updated 5 years ago
- A tool for mirroring a virtual screen to a window. Useful for using a mobile device as an external screen.☆11Jan 22, 2015Updated 11 years ago
- Start code for refactoring exercises☆11Oct 30, 2015Updated 10 years ago
- Unified algorithm support for indexed .NET collections.☆12Jun 11, 2018Updated 7 years ago
- Applied Static Analysis☆11Aug 26, 2019Updated 6 years ago
- lojban parser☆24Aug 16, 2014Updated 11 years ago
- ☆11Mar 6, 2022Updated 3 years ago