Obsidian language development
☆79Nov 18, 2025Updated 4 months ago
Alternatives and similar repositories for Obsidian
Users that are interested in Obsidian are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated last year
- ReasonML native library for working with TextMate grammars☆16Apr 22, 2020Updated 5 years ago
- a git implementation in rust. yeah, I know..☆12Jun 10, 2016Updated 9 years ago
- Semantics of Solidity in K☆29Oct 11, 2019Updated 6 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 5 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.
- ☆14Jan 21, 2019Updated 7 years ago
- mitum is general purpose blockchain factory.☆12Jul 19, 2023Updated 2 years ago
- Blockchain based solution to feed my cat via remote Tweeting.☆12Sep 3, 2018Updated 7 years ago
- The Ur/Web People Organizer☆31May 6, 2024Updated last year
- A 64bit-TinyRAM simulator in Go☆13Oct 18, 2018Updated 7 years ago
- The Plaid Programming Language Tools☆13Apr 11, 2015Updated 11 years ago
- ☆22Oct 20, 2025Updated 5 months ago
- This repository contains the Maude 2 interpreter source tree.☆43Dec 9, 2017Updated 8 years ago
- a redis client library for io☆22Apr 21, 2010Updated 15 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- RndPhrase: Auto-generated secure passwords.☆21May 4, 2016Updated 9 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Mar 24, 2022Updated 4 years ago
- Benchmarks from the RELEASE project☆12Jun 8, 2016Updated 9 years ago
- Ergonomic async http framework for reliable and efficient web☆27Jun 20, 2021Updated 4 years ago
- Go (golang) simple logger package.☆13Sep 21, 2017Updated 8 years ago
- Debug RefCell which keeps track of stack traces in debug mode☆24Jul 13, 2023Updated 2 years ago
- Elastic Common Schema (ECS) support for zerolog☆11Updated this week
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- Advanced Operating Systems project manifest☆15Sep 6, 2025Updated 7 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Coq definitions and lemmas for verification of Casper☆19Aug 15, 2019Updated 6 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆71Jan 2, 2011Updated 15 years ago
- The Wyvern programming language.☆560Apr 6, 2026Updated last week
- The Kuljet language☆26Feb 8, 2025Updated last year
- A key-value store for OCaml☆17Feb 1, 2022Updated 4 years ago
- Advanca is now Automata.☆11Feb 13, 2021Updated 5 years ago
- OBSOLETE: Standardized way of making distributed backups of some secret using Shamir secret sharing technique☆12Aug 3, 2019Updated 6 years ago
- Etherboy Game Smart Contract for Loom DAppChain☆13Oct 6, 2018Updated 7 years ago
- The modular protocol framework based on Universal Composability☆17Jun 24, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Jasmine BDD port for Io Language☆30Jan 27, 2018Updated 8 years ago
- TxVM is a virtual machine for blockchain transactions☆172Apr 22, 2019Updated 6 years ago
- 🎨 A ppx that generates styles based on Bs-Css from a Figma document☆12Nov 16, 2020Updated 5 years ago
- KVyper: Semantics of Vyper in K☆41Aug 12, 2018Updated 7 years ago
- The Elm Architecture in Go☆13Oct 17, 2016Updated 9 years ago
- An integrated context-aware scanner and parser generator☆22Dec 4, 2023Updated 2 years ago
- ImpFS, a new filesystem.☆21Feb 6, 2022Updated 4 years ago