programming language designer.
@nuprl and @plasma-umass alum.
- San Mateo, California
-
09:06
(UTC -07:00) - https://weiss.city
Highlights
- Pro
Block or Report
Block or report aatxe
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
luau-lang/luau
luau-lang/luau PublicA fast, small, safe, gradually typed embeddable scripting language derived from Lua
-
-
plasma-umass/Tortoise
plasma-umass/Tortoise Public archiveTortoise: Interactive System Configuration Repair
Scala 6
-
plasma-umass/Rehearsal
plasma-umass/Rehearsal PublicRehearsal: A Configuration Verification Tool for Puppet
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.