A repo of knowledge to support the TruSat project
☆19Jan 6, 2023Updated 3 years ago
Alternatives and similar repositories for trusat-learn
Users that are interested in trusat-learn are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆33Jun 11, 2023Updated 3 years ago
- Verification of Smart Contracts with Dafny – FMICS paper examples☆11Feb 8, 2024Updated 2 years ago
- Main repo for Game7 inventory contracts☆14May 13, 2023Updated 3 years ago
- ☆18Apr 27, 2021Updated 5 years ago
- Simple WordPress plugin to embed Google Calendars in way that doesn't suck.☆15Jan 4, 2026Updated 9 months 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.
- gDAI - Gas less DAI transfers by using GSN, Fulcrum and KyberNetwork☆32Nov 20, 2024Updated last year
- Demonstration repo to show how you can acquire your own forked mainnet DAI.☆20Jan 24, 2023Updated 3 years ago
- Plonk verifier in solidity (using Commit api)☆22Jun 24, 2024Updated 2 years ago
- Python library for accessing SWC-registry content☆11Jul 24, 2023Updated 3 years ago
- Simple Cadence examples: Patch-net settlement brains that learn from live experience.☆18Updated this week
- Smart contract auditing assistant tool for Truffle Framework.☆17Dec 9, 2022Updated 3 years ago
- Files for social graphs☆14Oct 17, 2023Updated 3 years ago
- Browse, compare, and restore previous versions of your notes using Obsidian's built-in file-recovery snapshots☆31Oct 12, 2026Updated last week
- Frida depends on the excellent Capstone disassembly framework☆20Oct 13, 2026Updated last week
- 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.
- Evm cli tool for interacting and analyzing smart contracts☆15Jan 24, 2023Updated 3 years ago
- Training for how to replicate the LCMS modeling framework, using Jupyter Notebooks☆10Jul 15, 2026Updated 3 months ago
- Spacecraft Orbital Computations Kit (SpOCK)☆47Apr 17, 2026Updated 6 months ago
- Examples for eclairjs-node and eclairjs-nashorn☆12Jan 24, 2017Updated 9 years ago
- Node script for JS-minification HTTP service☆16Apr 30, 2014Updated 12 years ago
- Phoenix Options V1.0☆10Nov 3, 2021Updated 4 years ago
- a MythX API client wrapper☆17Sep 26, 2024Updated 2 years ago
- 🏫 OC components examples, covering the most common use cases.☆14Jan 28, 2018Updated 8 years ago
- Parser for loaded Mapbox Vector Tiles (https://docs.mapbox.com/vector-tiles/specification/)☆14May 12, 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.
- ☆11Nov 24, 2022Updated 3 years ago
- A macOS menu bar app to quickly toggle your microphone and/or video for Zoom and BlueJeans☆11Dec 9, 2020Updated 5 years ago
- Truffle for Terra and beyond! Capsule is small Python SDK tool you can use to deploy Terra CosmWasm contracts to a given Terra (Cosmos SD…☆13Jul 9, 2022Updated 4 years ago
- Contains deployment and other issues related to our Aragon DAO☆10Nov 19, 2020Updated 5 years ago
- A template for new linter plugins☆15Apr 13, 2020Updated 6 years ago
- *client* reference implementation of subscriptions on Ethereum☆14Nov 26, 2018Updated 7 years ago
- Sign in with Ethereum for Next.js☆17Nov 6, 2022Updated 3 years ago
- ☆14Apr 11, 2023Updated 3 years ago
- ☆13Dec 25, 2024Updated last year
- 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.
- This gets the data from the Chainlink Price feeds in an easy way. Can use either an RPC_URL or the Chainlink Subgraph.☆13May 23, 2021Updated 5 years ago
- ☆14Mar 8, 2022Updated 4 years ago
- ☆15Feb 15, 2023Updated 3 years ago
- ☆12May 30, 2022Updated 4 years ago
- Middleware utility for your Promises☆25Dec 8, 2022Updated 3 years ago
- 🐶 backed by 🔵 with 💙☆16Jun 4, 2021Updated 5 years ago
- Exploring ocean protocol☆14Feb 20, 2018Updated 8 years ago