Michael Coblenz's Projects
ACM consolidated LaTeX styles
Agda is a dependently typed programming language / interactive theorem prover.
IBM Blockchain Platform extension for Visual Studio Code
Pluggable type-checking for Java
UCSD CSE 210
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Ethereum Foundation website
Yeoman generator for Hyperledger Fabric
A collection of useful .gitignore templates
Glacier is a type annotation extension to Java that enforces transitive class immutability.
IntelliJ IDEA Community Edition
A fork of the com.sun.codemodel (status 2013/09)
A beautiful, simple, clean, and responsive Jekyll theme for academics
Obsidian language development
Lightweight, robust, elegant syntax highlighting.
A fork of the Rust Language Server to support Bronze.
Empowering everyone to build reliable and efficient software.
A framework for writing plugins that integrate with the Rust compiler
garbage collection
The Solidity Contract-Oriented Programming Language
The Ur/Web People Organizer
Visual Studio Code language support extension for Solidity smart contracts in Ethereum