Cartesi Machine Manager Server repository
☆15Jul 4, 2023Updated 3 years ago
Alternatives and similar repositories for machine-manager
Users that are interested in machine-manager 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 simple demo of the Cartesi Project☆10Nov 4, 2019Updated 6 years ago
- Off-chain and On-chain dispute☆22Jul 13, 2023Updated 3 years ago
- Cartesi Machine Emulator ROM☆13Oct 31, 2023Updated 2 years ago
- Cartesi gRPC Interfaces☆18Apr 16, 2024Updated 2 years ago
- Cartesi Compute SDK☆34Nov 6, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Cartesi machine tests☆17Dec 7, 2023Updated 2 years ago
- Cartesi Machine SDK☆22Jan 16, 2025Updated last year
- SDK documentation☆35Oct 2, 2026Updated last week
- The on-chain implementation of the Cartesi Machine☆108Aug 28, 2026Updated last month
- Set of tools to help the development☆13Aug 3, 2026Updated 2 months ago
- A JS and Cartesi-compatible implementation of Creepts game☆10Jul 23, 2025Updated last year
- Cartesi's permissionless fraud-proof system.☆26Updated this week
- Cartesi Rollups☆30Nov 8, 2023Updated 2 years ago
- Blockchain Reader Library☆10Jan 20, 2024Updated 2 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.
- 🪲 Bug Buster, a bug bounty platform powered by Cartesi Rollups☆13Mar 20, 2025Updated last year
- Rust based Virtual Machine on Avalanche that implements Bulletproof ZK Proofs.☆13Dec 29, 2022Updated 3 years ago
- Load Balance RPC calls between multiple providers☆18Jan 11, 2024Updated 2 years ago
- TypeScript framework for Cartesi applications☆17Oct 3, 2026Updated last week
- Simple example of adopting repository-service pattern with CRUD operations on a MySQL db in Go☆18Mar 18, 2021Updated 5 years ago
- Dovecot server container with IMAP☆11Jun 5, 2018Updated 8 years ago
- Key-value store benchmarking tool☆10Jun 30, 2024Updated 2 years ago
- Get an insight into your AWS SQS and ElasticMQ queues.☆12Oct 10, 2019Updated 6 years ago
- Group project "Algorithms for large-scale optimal transport". Implement ADMMs and Sinkhorn's Algorithms.☆11Jan 28, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Static Websites on the Distributed Web☆33Apr 10, 2023Updated 3 years ago
- Apache Fineract payroll deductions management service☆10Jan 6, 2023Updated 3 years ago
- DACO - Decentralized autonomous charity organization☆10Dec 11, 2017Updated 8 years ago
- Development Node for Cartesi Rolups☆23May 6, 2025Updated last year
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 8 years ago
- Training of a Word2Vec Model on a Text Dataset☆13Sep 12, 2017Updated 9 years ago
- Utensil's LLM Playground (2023)☆10May 24, 2026Updated 4 months ago
- shepherd is a framework to build content moderation systems.☆13Updated this week
- Vanilla NFT Standard For Representing Abstract Ownership☆11Jul 13, 2022Updated 4 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.
- Monaco editor about SQL with auto completion☆10May 11, 2023Updated 3 years ago
- Small tools to assist with using Large Language Models☆12Nov 7, 2023Updated 2 years ago
- This is the dataset generation code for ADEPT (Approximate Derenderer, Extended Physics, and Tracking). http://physadept.csail.mit.edu/☆15Sep 26, 2022Updated 4 years ago
- LLM Oracle is a GPT-4 powered tool for predicting future events. It's like a Magic 8 Ball that is able to perform basic research, calcula…☆18May 27, 2023Updated 3 years ago
- Scorer for grammatical error correction systems.☆14Feb 24, 2016Updated 10 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆16Jun 4, 2024Updated 2 years ago
- improved go tool trace goroutine analysis☆30Dec 12, 2018Updated 7 years ago