flotob / legalmarkdownView external linksLinks
Eris Legal Markdown -- Putting the Contract in Smart Contracts
☆33Jun 21, 2018Updated 7 years ago
Alternatives and similar repositories for legalmarkdown
Users that are interested in legalmarkdown are comparing it to the libraries listed below
Sorting:
- A LoRa backend server☆13May 2, 2018Updated 7 years ago
- Official format for time series data captured from 3D Engines.☆12May 14, 2023Updated 2 years ago
- A SCADA system that uses prime for intrusion tolerance. Using PVBrowser as an HMI☆10May 27, 2015Updated 10 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Smart contract of STM token☆12Aug 26, 2018Updated 7 years ago
- Fast, efficient, private cloud store☆10Apr 6, 2017Updated 8 years ago
- EOSIO test UI☆12Aug 17, 2019Updated 6 years ago
- Implementation of the Idemix attribute based credential scheme used in IRMA☆11Dec 11, 2024Updated last year
- Decentralized kv storage engine,support decentralized P2P networking, data synchronization and consistency between nodes.☆14Jan 4, 2026Updated last month
- A compatibility guide for Bitcoin wallets☆11Mar 28, 2023Updated 2 years ago
- ATLAS Control is a framework for building a complete monitoring, trending, reporting, and real-time tracking SCADA-type system primarily …☆10Feb 19, 2014Updated 11 years ago
- A general probabilistic graphical models framework for Rust☆10May 16, 2018Updated 7 years ago
- Tools for reading OpenStreetMap (OSM) data and gradually turning it into routable networks.☆13Jul 2, 2015Updated 10 years ago
- Efficient functorized iterators for OCaml.☆13Feb 23, 2018Updated 7 years ago
- Tiny Teal / Lua test helper.☆22Oct 15, 2025Updated 4 months ago
- Typescript typings for Truffle☆11Apr 11, 2022Updated 3 years ago
- A declarative API that syncs specs from git to kubernetes☆20Feb 9, 2026Updated last week
- Object schema definition using a Ruby DSL.☆19Jun 12, 2016Updated 9 years ago
- Functionality for modifying Julia package registry files☆12Dec 8, 2025Updated 2 months ago
- vmnet based gvisor tcpip stack☆12Jan 22, 2024Updated 2 years ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10May 18, 2021Updated 4 years ago
- Julia package for representing linear, time-invariant system models and operations defined on them.☆10Oct 18, 2019Updated 6 years ago
- Gherkin DSL for Ginkgo☆10Nov 15, 2023Updated 2 years ago
- OpenID Connect for Julia☆14Dec 3, 2025Updated 2 months ago
- Serverless, cache less lightweight gRPC powered chat program☆11Nov 24, 2021Updated 4 years ago
- Bloom filters in Julia☆18Jul 11, 2019Updated 6 years ago
- zkSNARK based Voting constructor☆12May 19, 2019Updated 6 years ago
- A Lua library for creating a virtual keyboard on Linux with uinput☆13May 19, 2014Updated 11 years ago
- Multi-language implementation of the Presentation Exchange protocol.☆10Nov 30, 2020Updated 5 years ago
- pergola is a web frontend to mongoDB based on padrino and jquery☆12Apr 8, 2011Updated 14 years ago
- ☆10Jul 14, 2020Updated 5 years ago
- ☆11Nov 8, 2023Updated 2 years ago
- RFlush — a high-performance Golang R-tree-based 2D spatial index for points and rectangles☆10Jul 2, 2020Updated 5 years ago
- Deploy Helm charts with Terraform☆12Mar 23, 2022Updated 3 years ago
- Zap file format compatible with a future version of Bleve☆13Updated this week
- Evergreen front-end☆12Apr 5, 2024Updated last year
- UDP-only netcat implementation with OCaml / MirageOS☆14Mar 21, 2017Updated 8 years ago
- Contract of Interactive Coin Offering☆11Jul 16, 2018Updated 7 years ago
- Object oriented RDF in Ruby☆58Jun 13, 2012Updated 13 years ago