Pinned Repositories
cidr2021
paper and code for New Directions in Cloud Programming, CIDR 2021
CSE290Q-2019-09
A graduate seminar on SMT solving and solver-aided systems
lsd-ucsc.github.io
Source Hugo repository for https://lsd.ucsc.edu. The generated files live on the `public` branch: https://github.com/lsd-ucsc/lsd-ucsc.github.io/tree/public
godot
Godot Engine – Multi-platform 2D and 3D game engine
Mrhea
dockerfiles
Tozny Custom Public Docker Images for automated Docker Hub builds
e3db-clients-go
Http clients for interacting with e3db services, in go.
e3db-java
E3DB SDK for Android and Java
e3db-swift
Client SDK in Swift for Tozny's E3DB.
js-sdk
Tozny Platform JavaScript Software Development Kit
Mrhea's Repositories
Mrhea/godot
Godot Engine – Multi-platform 2D and 3D game engine
Mrhea/Mrhea