⛓️ Blockchain + Smart contracts from scratch
☆22May 19, 2018Updated 7 years ago
Alternatives and similar repositories for ATS-blockchain
Users that are interested in ATS-blockchain are comparing it to the libraries listed below
Sorting:
- A command-line text editor in OCaml.☆13Apr 26, 2025Updated 10 months ago
- Collection of ATS goodness☆34Nov 19, 2019Updated 6 years ago
- Vim plugin for ATS☆16Jul 7, 2021Updated 4 years ago
- A Prolog implementation in D language☆25Jan 11, 2021Updated 5 years ago
- 🗂️ DirectoryTree widget for textual, compatible with all filesystems☆40Aug 25, 2025Updated 6 months ago
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Feb 17, 2026Updated 3 weeks ago
- A Coq to Cedille compiler written in Coq☆34Sep 22, 2020Updated 5 years ago
- Sudoku solver in Golang☆10Sep 6, 2020Updated 5 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- ☆14Mar 2, 2026Updated last week
- 💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…☆11Updated this week
- Cryptocurrency tax and tracking tools for the Beancount platform.☆11Aug 23, 2024Updated last year
- This is a translation of source code from SICP into SML/NJ.☆13Jun 2, 2010Updated 15 years ago
- Python module for computer vision anomaly detection☆11Mar 12, 2024Updated last year
- A scripting language for cowboy coders☆22Jun 1, 2024Updated last year
- subset-Prolog-like DSL running on Factor☆10Apr 7, 2020Updated 5 years ago
- We feature a project or marimo notebook from the community every Thursday!☆56Jul 25, 2025Updated 7 months ago
- This repo demonstrates an Apache Arrow Flight server implementation in Kubernetes.☆12Oct 25, 2024Updated last year
- ☆11Jun 2, 2015Updated 10 years ago
- DLang SQL Builder using prepared statements.☆10Jan 26, 2025Updated last year
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- btree written in c☆10Feb 26, 2015Updated 11 years ago
- Palantir R SDK☆14Sep 30, 2025Updated 5 months ago
- TASTy Migration Manager☆12Oct 9, 2025Updated 5 months ago
- QOI image codec for OCaml (unreleased)☆11Jan 2, 2026Updated 2 months ago
- Extensible micro template engine for Clojure☆33Jan 12, 2015Updated 11 years ago
- PRT-10255☆13Jun 27, 2025Updated 8 months ago
- OCaml client access to Amazon services, such as S3, EC2, FPS, etc.☆14Sep 20, 2016Updated 9 years ago
- A json-like data structure library in Ada☆11Mar 26, 2025Updated 11 months ago
- Environment variable manager☆12Aug 8, 2023Updated 2 years ago
- Svelte Admin UI Template☆12Jun 19, 2023Updated 2 years ago
- Semantic Versioning for Scala / SemVer for Scala☆11Feb 21, 2026Updated 2 weeks ago
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated 11 months ago
- a screen snapshot application under UEFI☆10Jan 22, 2014Updated 12 years ago
- Splash screen for the Kakoune editor☆10Oct 21, 2025Updated 4 months ago
- tool to control Kakoune editor from the command line☆13Jul 13, 2025Updated 7 months ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- ☆17Jan 6, 2024Updated 2 years ago