Michael Coblenz's repositories
acmart
ACM consolidated LaTeX styles
agda
Agda is a dependently typed programming language / interactive theorem prover.
blockchain-vscode-extension
IBM Blockchain Platform extension for Visual Studio Code
checker-framework
Pluggable type-checking for Java
CSE210
UCSD CSE 210
CSrankings
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-org
Ethereum Foundation website
generator-fabric
Yeoman generator for Hyperledger Fabric
gitignore
A collection of useful .gitignore templates
intellij-community
IntelliJ IDEA Community Edition
jcodemodel
A fork of the com.sun.codemodel (status 2013/09)
mcoblenz-web
A beautiful, simple, clean, and responsive Jekyll theme for academics
prism
Lightweight, robust, elegant syntax highlighting.
rls
A fork of the Rust Language Server to support Bronze.
shifgrethor
garbage collection
solidity
The Solidity Contract-Oriented Programming Language
upo
The Ur/Web People Organizer
vscode-solidity
Visual Studio Code language support extension for Solidity smart contracts in Ethereum