☆17May 3, 2026Updated 2 months ago
Alternatives and similar repositories for lean-atlas
Users that are interested in lean-atlas are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Set of agent skills of Lean code generation for software development☆17Jul 6, 2026Updated last week
- fork of https://github.com/arnaucube/poseidon-rs ported to ark_ff☆13Nov 15, 2023Updated 2 years ago
- ☆17Mar 20, 2023Updated 3 years ago
- Post-Quantum zkVM☆65Updated this week
- Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".☆18May 26, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Implementation for https://eprint.iacr.org/2025/1300☆44Sep 2, 2025Updated 10 months ago
- Explorations on mobile-first GPU acceleration, currently support MSM.☆28Aug 19, 2025Updated 10 months ago
- Poseidon hash implementation in Rust☆26Jan 22, 2026Updated 5 months ago
- DACO - Decentralized autonomous charity organization☆10Dec 11, 2017Updated 8 years ago
- ☆27Apr 7, 2026Updated 3 months ago
- A Rust library for revision-tolerant serialisation and deserialisation, with support for schema evolution over time☆49Jul 2, 2026Updated last week
- Reasoning-based Evaluation and Ranking of Translations.☆20Jun 2, 2026Updated last month
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- Tools based on AI for helping with Lean 4☆120Jul 5, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆68May 13, 2025Updated last year
- ☆68Apr 1, 2026Updated 3 months ago
- ☆26Jul 23, 2025Updated 11 months ago
- A Deno-based CLI tool to recursively find and display TODOs in your project☆18Jun 19, 2025Updated last year
- ☆13Nov 10, 2022Updated 3 years ago
- ☆10Nov 1, 2024Updated last year
- A Terraform module that generates JSON documents for access for common AWS SSM Parameter Store policies☆16May 29, 2025Updated last year
- A vscode extension for fast app publishing powered by IPFS ⚡️☆13Mar 4, 2023Updated 3 years ago
- A collection of libraries in Scheme☆13Mar 2, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆11Jan 9, 2025Updated last year
- #blockchainallthethings☆13Oct 24, 2017Updated 8 years ago
- Marketplace ML experiment - training without backprop☆28Sep 9, 2025Updated 10 months ago
- Document Drivien Development☆18Nov 9, 2025Updated 8 months ago
- Open book: Cybernetic Economic System☆14May 13, 2017Updated 9 years ago
- Measuring Thinking Efficiency in Reasoning Models - Research Repository☆39Dec 2, 2025Updated 7 months ago
- Run GitHub GraphQL queries and mutations in VS Code☆13Apr 15, 2022Updated 4 years ago
- Create immutable infrastructure with IaC technologies at AWS with Terraform and Serverless Framework ☁️ The main services used are Dynamo…☆10Jan 3, 2021Updated 5 years ago
- Experimental framework taking inspiration from biological systems, combining compression-based architectures, group theory, and symmetry …☆14Nov 13, 2025Updated 8 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A package and module for using GNU Guix on Nix(OS). Kinda more a code dump than for actual use. See fork☆15May 13, 2020Updated 6 years ago
- my nix packages☆11Updated this week
- a libp2p-backed daemon wrapping the functionalities of go-libp2p for use in other languages☆11Feb 9, 2025Updated last year
- An easy way to run code on other machines using IPFS Pubsub as the message queue, AWS's Python3.7 Lambda Docker Container for execution☆10May 26, 2019Updated 7 years ago
- Compile programs to Ambients☆13May 7, 2021Updated 5 years ago
- Nix flake for Solana development☆13Jul 8, 2022Updated 4 years ago
- Command line interface for COAL cryptocurrency mining.☆11Jan 30, 2025Updated last year