View Code? Open in Web Editor
NEW
This project forked from mcoblenz/obsidian
Obsidian language development
License: BSD 3-Clause "New" or "Revised" License
Scala 49.72%
Java 12.20%
Python 1.40%
TeX 5.30%
Shell 5.39%
Perl 0.54%
Agda 10.06%
HTML 8.06%
CSS 0.20%
JavaScript 1.80%
Makefile 0.10%
TypeScript 1.65%
Solidity 3.60%
obsidian's Introduction
About me
- Hey there! I'm Chrispine. I'm based in Nairobi, Kenya.
- Interests: Distributed Systems (and their formal verification, using tools like TLA+) + Blockchain-based systems
- Languages: Python (Proficient), Rust (Advanced beginner)
- Frameworks: Django/Flask; Actix Web
- More @ chiedo.dev
obsidian's People