Actor-based Runtime Verification Tool
☆19Apr 13, 2023Updated 2 years ago
Alternatives and similar repositories for mesa
Users that are interested in mesa are comparing it to the libraries listed below
Sorting:
- L2 bridging for ENS with onchain guarantees.☆11Feb 19, 2024Updated 2 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆24Apr 1, 2023Updated 2 years ago
- Repository for the HARDENS project☆26Dec 12, 2024Updated last year
- Skeena: Efficient and Consistent Cross-Engine Transactions (SIGMOD 2022, ACM SIGMOD Research Highlights Award 2022)☆21May 11, 2023Updated 2 years ago
- Interaction Controllers for Sentiment☆28Jul 5, 2023Updated 2 years ago
- Automated Analysis Framework for Simulink/Stateflow models.☆60Feb 16, 2026Updated 2 weeks ago
- CL type system implementation☆28May 21, 2025Updated 9 months ago
- dependently-typed lisp with flexible compiler backends☆27May 24, 2019Updated 6 years ago
- The Grand Scheme Glossary☆32May 29, 2025Updated 9 months ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆80Feb 21, 2026Updated last week
- Check and transform Lisp code with Comby (beta)☆28Jan 18, 2025Updated last year
- Stratified synthesis for learning machine code instruction semantics☆40Sep 24, 2025Updated 5 months ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Utilities and examples for Aave governance proposals☆28Oct 31, 2023Updated 2 years ago
- A Julia implementation of Bayesian linear regression using marginal likelihood for hyperparameter optimization, as presented in Chris Bis…☆29Jan 20, 2022Updated 4 years ago
- Environment protocol for Common Lisp compilers.☆33Jan 6, 2024Updated 2 years ago
- A mostly mostly reasonable approach to inline Yul styling.☆31Apr 19, 2024Updated last year
- Aave V3 Flashloan Template☆29Dec 27, 2023Updated 2 years ago
- A library for defining and efficiently solving program synthesis tasks in Julia.☆35Feb 23, 2026Updated last week
- ☆41Dec 27, 2025Updated 2 months ago
- A collection of functionality around rooted trees to generate order conditions for Runge-Kutta methods in Julia for differential equation…☆38Jan 12, 2026Updated last month
- The Immutable Core SDK Golang provides convenient access to the Immutable APIs and Ethereum contract methods for applications integrating…☆10Jan 6, 2026Updated last month
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- My personal site.☆10Feb 23, 2026Updated last week
- A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performa…☆24Jan 3, 2026Updated 2 months ago
- The AI-PMS Microservice uses AI to predict aircraft system failures before they occur, optimizing maintenance and enhancing safety. This …☆15Nov 18, 2024Updated last year
- ☆12Apr 8, 2025Updated 10 months ago
- CL environment introspection portability layer☆41Apr 4, 2024Updated last year
- ☆42Feb 24, 2026Updated last week
- Aave Seatbelt for governance proposals☆19Updated this week
- bayesPop R package☆11Feb 23, 2026Updated last week
- A minimal based rollup implementation that is easy to understand and extend☆45Oct 3, 2025Updated 5 months ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Apr 15, 2021Updated 4 years ago
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago
- My Own Linear Lisp☆42Aug 24, 2018Updated 7 years ago
- ☆11Nov 12, 2017Updated 8 years ago
- Code for "Extraction of digital wavefront sets using applied harmonic analysis and deep neural networks"☆12Nov 25, 2021Updated 4 years ago