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:
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆14Nov 15, 2021Updated 4 years ago
- Proposal to add non-trapping float-to-int conversions to WebAssembly☆17Aug 22, 2022Updated 3 years ago
- [ORPHANED] A small toolkit for converting wasm binaries into json and back.☆31Apr 22, 2024Updated last year
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Nov 24, 2021Updated 4 years ago
- The Flint Programming Language for Smart Contracts☆246Dec 4, 2022Updated 3 years ago
- SIGPLAN website☆13Mar 16, 2026Updated last week
- a git implementation in rust. yeah, I know..☆12Jun 10, 2016Updated 9 years ago
- Implementation of Security DvP☆24May 17, 2020Updated 5 years ago
- Semantics of Solidity in K☆29Oct 11, 2019Updated 6 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 4 years ago
- ☆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☆30May 6, 2024Updated last year
- The Plaid Programming Language Tools☆12Apr 11, 2015Updated 10 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Dec 9, 2017Updated 8 years ago
- RndPhrase: Auto-generated secure passwords.☆21May 4, 2016Updated 9 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Mar 24, 2022Updated 4 years ago
- Maude Formal Environment☆17Feb 17, 2026Updated last month
- Benchmarks from the RELEASE project☆12Jun 8, 2016Updated 9 years ago
- A framework and taxonomy for identifying, classifying, and reasoning about detection logic bugs in SIEM, EDR, and XDR rules, with concret…☆45Mar 5, 2026Updated 2 weeks ago
- Elastic Common Schema (ECS) support for zerolog☆11Mar 10, 2026Updated 2 weeks ago
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆17Updated this week
- Coq definitions and lemmas for verification of Casper☆19Aug 15, 2019Updated 6 years ago
- The Wyvern programming language.☆560Updated this week
- Advanca is now Automata.☆12Feb 13, 2021Updated 5 years ago
- Zilliqa Blockchain Library☆14Sep 12, 2019Updated 6 years ago
- Geo programming language based on https://interpreterbook.com/☆14Jan 2, 2019Updated 7 years ago
- Random research and simulations☆16Mar 22, 2019Updated 7 years ago
- The modular protocol framework based on Universal Composability☆17Jun 24, 2020Updated 5 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
- Self-hosting compiler for the Grace programming language☆43Jun 5, 2024Updated last year
- The Elm Architecture in Go☆13Oct 17, 2016Updated 9 years ago
- Nit - A better ReasonML playground☆32May 11, 2020Updated 5 years ago
- a simple infoscreen system☆12Aug 25, 2025Updated 6 months ago
- ImpFS, a new filesystem.☆21Feb 6, 2022Updated 4 years ago
- The Second Version of Car Demo☆12Jan 6, 2023Updated 3 years ago