Metastability analysis
☆14May 28, 2026Updated 5 months ago
Alternatives and similar repositories for metafor
Users that are interested in metafor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Expand wildcards in AWS IAM policies via an inline comment in pull requests to aid reviewers.☆13Updated this week
- Apple Human Interface Guidelines archive (1980-2014) - 35 documents optimized for LLM consumption and human exploration. Spanning Lisa, M…☆17Mar 27, 2026Updated 7 months ago
- Reliably keep databases stopped when not needed, to save money☆12Apr 7, 2026Updated 6 months ago
- Examples of using Proxylity UDP Gateway covering simple and production-focused use cases.☆16Oct 18, 2026Updated last week
- Materials for the Internet of Things with Micropython and Friends, PyCon 2017☆11Apr 25, 2018Updated 8 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.
- ☆13Oct 5, 2019Updated 7 years ago
- Conze: CLI for viewing and comparing holidays across countries.☆28Aug 17, 2025Updated last year
- Retired, please see https://github.com/sqlxpert/lights-off-aws☆23Sep 25, 2022Updated 4 years ago
- fork of file_parda from bitbucket☆11Jun 27, 2015Updated 11 years ago
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago
- SIEVE in JS, a modern efficient cache algorithm that is simpler than LRU☆17Feb 25, 2024Updated 2 years ago
- SIEVE is simpler than LRU☆15Apr 29, 2024Updated 2 years ago
- ☆11Feb 21, 2016Updated 10 years ago
- Deploys production-grade security controls for AWS accounts and Organizations using Terraform.☆28Apr 7, 2026Updated 6 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆13Oct 15, 2026Updated 2 weeks ago
- A tool to connect SMT-based frontends to Lean4.☆20Oct 21, 2026Updated last week
- A fully asynchronous FastAPI starter. Built for extensibility and speed, it incorporates FastAPI, SQLModel, Alembic, PostgreSQL, Redis, C…☆37Updated this week
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- ☆11Sep 8, 2022Updated 4 years ago
- Model Context Protocol (MCP) server for OCI Documentation☆12May 20, 2026Updated 5 months ago
- Random variate generation library in C☆10Oct 21, 2026Updated last week
- A Continual Learning Library in PyTorch and JAX☆14Apr 18, 2023Updated 3 years ago
- An open source stream generator which generates reproducible and deterministic out-of-order streams, simulating arbitrary fractions of ou…☆12May 14, 2019Updated 7 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.
- Model Checking for Industrial Programmers with TLA+☆19May 22, 2026Updated 5 months ago
- CryptoBAP: Automated Side-Channel Analysis of Cryptographic Protocols Implementations☆14Sep 30, 2026Updated 3 weeks ago
- Source code for TPCx-BB benchmark for Hive and SparkSQL on scale factor of 300 GB☆10Jun 26, 2018Updated 8 years ago
- A toolchain for distributed system runtime checkers☆13May 20, 2025Updated last year
- Example project of an academic paper using the ACM SIG Proceedings template☆18Feb 24, 2019Updated 7 years ago
- The Chaos Engineering platform for everyone☆17Feb 18, 2019Updated 7 years ago
- Resource base for Operating Systems, Computer Networks and Linux Kernel☆13Jun 29, 2020Updated 6 years ago
- CDNSim is a stream-level simulator written in Python, designed to simulate large content delivery networks.☆24Mar 8, 2019Updated 7 years ago
- The Cubicle model checker☆14May 29, 2026Updated 5 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A benchmark framework for decision forest inferences☆11Jan 19, 2024Updated 2 years ago
- Formal Verification for JavaScript Regular Expressions☆15Updated this week
- Nola: Later-Free Ghost State for Verifying Termination in Iris☆10Aug 2, 2025Updated last year
- AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software☆20Oct 20, 2026Updated last week
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- A system that seamlessly integrates Big Data processing and machine learning model serving in distributed relational database☆17Jan 2, 2024Updated 2 years ago
- ☆13Sep 6, 2023Updated 3 years ago