The original timed regular expression matcher over temporal behaviors
☆15Jun 26, 2023Updated 2 years ago
Alternatives and similar repositories for montre
Users that are interested in montre are comparing it to the libraries listed below
Sorting:
- Attribute grammar Based Language Extensions for C☆42Feb 20, 2026Updated last week
- Forth interpreter in F#☆17Oct 26, 2023Updated 2 years ago
- Tool for STL specification validation☆20Sep 30, 2019Updated 6 years ago
- Brief language☆20Jul 8, 2024Updated last year
- new generation testing framework for C and C++☆36Oct 26, 2022Updated 3 years ago
- (Abstract) Abstract Machine Experiments using Scala☆36Jan 15, 2021Updated 5 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- Secure Azure IoT solutions end to end☆11Dec 7, 2022Updated 3 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- SIGPLAN website☆13Feb 23, 2026Updated last week
- A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.☆41Jan 3, 2026Updated last month
- Epic - a Supercombinator Compiler☆64Jun 12, 2015Updated 10 years ago
- transducers in C++ 14☆40Sep 23, 2014Updated 11 years ago
- Inspired by Lispkit Lisp, this is a series of DIY Forths☆41Jan 5, 2026Updated last month
- Various Futhark benchmark programs☆45Jan 21, 2026Updated last month
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Aug 3, 2017Updated 8 years ago
- Code for Nathan Herzing and Chris Shea's "Helping Voters with Datomic, Pedestal, Om and core.async" talk☆12Nov 21, 2014Updated 11 years ago
- fast approximation for levenshtein distances☆11Jan 15, 2018Updated 8 years ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- A Clojure library designed to implement computational methods described in Jean Meeus' Astronomical Algorithms☆17Mar 27, 2018Updated 7 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- Automatically exported from code.google.com/p/synchronic☆11Nov 8, 2016Updated 9 years ago
- Not Another Range Library☆39Mar 9, 2014Updated 11 years ago
- ☆15May 6, 2021Updated 4 years ago
- This repo contains a demo of adversarial strings poisoning vector database and forching specific hallucinations on RAG chatbot.☆10May 2, 2024Updated last year
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- A HTTP framework for storage and memory constraint environments (microcontrollers)☆31Jul 26, 2014Updated 11 years ago
- Experimental Javascript Environment☆22Jun 17, 2009Updated 16 years ago
- A framework to make C memory safe☆13Sep 20, 2022Updated 3 years ago
- Latr: Lazy Translation Coherence - ASPLOS'18☆16Nov 15, 2021Updated 4 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- Clojure library for parsing and seamless working with native C structs/structured byte buffers☆14May 26, 2015Updated 10 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 5 years ago
- Interesting papers☆11Jun 22, 2024Updated last year