TruSat / trusat-learnLinks
A repo of knowledge to support the TruSat project
☆20Updated 2 years ago
Alternatives and similar repositories for trusat-learn
Users that are interested in trusat-learn are comparing it to the libraries listed below
Sorting:
- The React codebase for space-sustainability tool TruSat☆32Updated 2 years ago
- ☆33Updated 2 years ago
- Python utilities for processing satellite position observations and managing TLEs☆77Updated 2 years ago
- Cost model☆20Updated 8 months ago
- ☆35Updated 3 years ago
- Sketchbook for my Ethereum contracts☆11Updated 4 years ago
- [WIP!!!!] A library of geometric and topological functions in Solidity, to enable geospatial analytics in EVM-compatible smart contracts☆20Updated 2 months ago
- formal verification of multicollateral dai in the K framework☆46Updated 3 years ago
- Smart-contracts for continuous organizations☆67Updated last week
- Very small Ethereum signer and verifier☆37Updated 5 years ago
- EIP712 data structure management for python☆35Updated last year
- The Code repository for a Tutorial on deploying Compound style governance with HardHat☆47Updated last year
- MCD Command-line interface☆18Updated 2 years ago
- (Aragon 1) Buidler plugin for Aragon App development☆24Updated 2 years ago
- ☆27Updated last year
- ZeroLaw Augmentation Protocol☆27Updated last year
- ☆33Updated last month
- Ethereum Virtual Machine implemented in TypeScript☆91Updated 6 years ago
- An ontology of Ethereum terms extracted from the Ethereum glossaries and Ethereum Improvement Proposals (EIPs). Available in plain text a…☆41Updated this week
- Elastic DAO Contracts☆18Updated 4 years ago
- ☆10Updated 2 years ago
- ☆13Updated last year
- Fully automated luxury gay space communism contracts☆75Updated this week
- Bare bones, mobile-first set up for Moloch frontend with Abridged Wallet SDK by Odyssy☆21Updated 2 years ago
- Optimized DAC Protocol☆51Updated 2 years ago
- A javascript module for generating ENS namehashes per spec https://github.com/ethereum/EIPs/issues/137☆44Updated 2 years ago
- A very simple documentation generation tool.☆19Updated last year
- Decentralized Bitcoin Backed Loan Protocol☆12Updated 2 years ago
- Model Token Delegation & Voting Policy (Work in Progress)☆13Updated 3 years ago
- Chicago Ethereum Meetup QF / CLR Pilot☆12Updated last year