☆32Nov 17, 2023Updated 2 years ago
Alternatives and similar repositories for aleo-stablecoin-workshop
Users that are interested in aleo-stablecoin-workshop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Blackjack dApp on Ethereum blockchain written in Solidity and React☆12Nov 28, 2020Updated 5 years ago
- Static analysis toolkit for security analysis in Aleo programs☆11Mar 29, 2024Updated 2 years ago
- The core program of AleoSwap (a decentralized exchange built on the Aleo blockchain)☆34Oct 23, 2023Updated 2 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- YAML-based configuration module with object-attribute style access, ordering and recursive ops☆21Apr 22, 2021Updated 5 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.
- Include halo2 example circuits☆10Jul 4, 2022Updated 4 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 11 years ago
- MPC in wasm based on emp-toolkit☆11Jun 13, 2025Updated last year
- Library for interacting with HaLo chips☆10Jan 3, 2023Updated 3 years ago
- A brc-20 discord bot that will watch ticker activity on unisat☆13May 11, 2023Updated 3 years ago
- Mutation testing tool for circom☆16Jul 4, 2023Updated 3 years ago
- A framework to connect APIs with AI agents☆16May 15, 2025Updated last year
- Blackjack game made in React.Js☆17Oct 19, 2022Updated 3 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.
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 10 years ago
- ☆11Dec 13, 2024Updated last year
- 🔍 Just a SQL REPL for web.☆16Jan 22, 2022Updated 4 years ago
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 6 years ago
- ☆18Mar 24, 2025Updated last year
- A base Solana dapp-scaffold using Vue☆13Aug 29, 2023Updated 3 years ago
- Challenges for INShAck☆20Apr 10, 2017Updated 9 years ago
- Random notes on mathematics (in German)☆13Aug 6, 2026Updated last month
- A simple S-Expression parser for rust TokenStreams☆16Nov 23, 2025Updated 10 months 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.
- Runtime types for OCaml (beta version)☆27Jul 10, 2026Updated 2 months ago
- Conversational Agent for Twitter and Discord☆14Aug 24, 2026Updated 3 weeks ago
- ☆15Apr 16, 2021Updated 5 years ago
- A minimalist implementation of type theory, suitable for experimentation☆16Jun 13, 2026Updated 3 months ago
- One of the many cool implementations of a zkProofOfOwnership platform developed for the ETHDenver 2022 hackaton.☆12Feb 22, 2024Updated 2 years ago
- A starter of build VuePress Theme with TailwindCss.☆14Jan 13, 2023Updated 3 years ago
- Mini Offline Singleplayer game in Crystal☆18Oct 24, 2017Updated 8 years ago
- Higher-order FRP compiler☆17Oct 20, 2021Updated 4 years ago
- A curated list of awesome things related to ALEO☆36Jul 26, 2022Updated 4 years 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.
- ☆17Aug 10, 2026Updated last month
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Apr 22, 2025Updated last year
- Canonical repo☆16Feb 26, 2019Updated 7 years ago
- Algorand (ALGO) Blockchain Explorer and Analytics platform.☆14Nov 14, 2022Updated 3 years ago
- Notes written while consulting for the Higher Order Company☆17Sep 27, 2025Updated 11 months ago
- An AI-powered Stock sentiment and technical analysis engine. Powered by Sveltekit, Python, OpenAI, and TensorFlow.☆19Feb 4, 2025Updated last year
- aztec connect zk badge☆11Oct 29, 2022Updated 3 years ago