PLDB Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Obsidian

< >

Obsidian is a programming language created in 2018 by Michael Coblenz.

#1217on PLDB

6Years Old

Download source code:

git clone https://github.com/mcoblenz/Obsidian

Homepage · Leet Sheet · Source Code

Obsidian: A safer blockchain programming language

Tags: programming language
Obsidian is developed on GitHub and has 76 stars
Early development of Obsidian happened in University of California San Diego
Obsidian is written in Solidity, Java, Scala, Bourne shell, HTML, reStructuredText, Tex, JSON, YAML, XML, Agda, Markdown, Bash, Python, Gradle, CSV, TypeScript, CSS, mustache, Make, JavaScript, SVG, Perl, Protocol Buffers
obsidian-lang.com was registered in 2018

HackerNews discussions of Obsidian

title	date	score	comments
Obsidian: A safer blockchain programming language	05/31/2019	67	31

PLDB - Build the next great programming language · About · Keywords · Livestreams · Labs · Resources · Acknowledgements · Part of the World Wide Scroll