A parallel programming model for online applications with complex synchronization requirements.
☆17Jun 8, 2022Updated 4 years ago
Alternatives and similar repositories for flumina
Users that are interested in flumina are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A framework for correctly implementing stateful microservice applications on serverless using standard Python.☆13Jan 5, 2023Updated 3 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- ☆19Nov 21, 2022Updated 3 years ago
- Staged programming for Rust. Write type-safe proc macros and high-level APIs that generate efficient code.☆28Updated this week
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 10 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.
- Partition refinement☆16Oct 4, 2026Updated last month
- ☆11Jun 9, 2024Updated 2 years ago
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 6 years ago
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- GitHub copilot cli suggest☆10Nov 15, 2023Updated 2 years ago
- The essence of Rust.☆136Feb 25, 2022Updated 4 years ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆28Oct 1, 2026Updated last month
- A benchmark for generic, large-scale shuffle operations on continuous stream of data, implemented with state-of-the-art stream processing…☆15Apr 21, 2026Updated 6 months ago
- A benchmark suite for performance-oriented shell-optimization research☆36Sep 21, 2026Updated last month
- 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.
- Experimental memory allocator for shared CXL memory [ASPLOS '26]☆16Mar 22, 2026Updated 7 months ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆16May 7, 2022Updated 4 years ago
- ☆12Apr 20, 2024Updated 2 years ago
- Archived legacy Filibuster repository. New Filibuster release in preparation: https://filibuster.cloud. Filibuster application corpus.☆10Sep 28, 2022Updated 4 years ago
- 大学生就业招聘系统 JAVA+Vue.js+SpringBoot，分为管理后台和用户网页端，可以给管理员和用户和企业角色使用，包括企业模块、岗位模块、招聘信息模块、在线留言模块、面试邀请模块、求职信息模块☆11May 30, 2024Updated 2 years ago
- Kleene algebra modulo theories☆28Nov 21, 2022Updated 3 years ago
- Conda file formats and schemas☆11Updated this week
- The WaveScope/WaveScript project is migrating to github from MIT-hosted SVN.☆12Dec 3, 2014Updated 11 years ago
- A Sparse-tensor Communication Framework for Distributed Deep Learning☆13Nov 1, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Object storage with metadata, expiration, and auditing☆15Updated this week
- springboot047基于Springboot+Vue大学生就业招聘系统毕业源码案例设计☆15Mar 16, 2026Updated 7 months ago
- A smarter tool to automatically generate FFI bindings for C libraries☆11Sep 8, 2014Updated 12 years ago
- An adaptive collective communication library for distributed training☆14Apr 29, 2024Updated 2 years ago
- ☆20Sep 30, 2026Updated last month
- Phoenix dataplane system service☆55Apr 22, 2026Updated 6 months ago
- Type Error Feedback via Analytic Program Repair☆16Mar 25, 2023Updated 3 years ago
- Ahead-of-time analysis of shell program effects☆21Oct 5, 2026Updated last month
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆15Jun 17, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Always-Correct and Fast Incremental Builds from Simple Specifications☆95Sep 3, 2026Updated 2 months ago
- Rajomon: Decentralized and Coordinated Overload Control for Latency-Sensitive Microservices☆15May 19, 2025Updated last year
- A coarse-grained Dynamic Analysis Framework☆23Jan 24, 2026Updated 9 months ago
- An implementation of the TREPAN algorithm in python. TREPAN extracts a decision tree from an ANN using a sampling method.☆20May 10, 2019Updated 7 years ago
- Example Full-stack Serverless project using ReactJS, Momento Topics, Step Functions, API Gateway, ECS, Lambda, DynamoDB with streams, and…☆18Sep 30, 2024Updated 2 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆19Aug 19, 2024Updated 2 years ago
- JSON Schema format for storing datasets details, documents processed contents, and documents annotations in the document understanding do…☆14Nov 5, 2024Updated 2 years ago