Mort Yao soimort
Repositories contributed to
- idris-lang/Idris-dev 801 A Dependently Typed Functional Programming Language
- dotnet/coreclr 4,802 This repo contains the .NET Core runtime, called CoreCLR, and the base library, called mscorlib. It includes the garbage collector, JIT compiler, base .NET data types and many low-level classes.
- mono/mono 3,593 Mono open source ECMA CLI, C# and .NET implementation.
- dotnet/corefx 8,002 This repo contains the .NET Core foundational libraries, called CoreFX. It includes classes for collections, file systems, console, XML, async and many others.
- idris-hackers/idris-mode 86 Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Contributions in the last year 1,239 total Jul 5, 2014 – Jul 5, 2015
Longest streak 22 days September 2 – September 23
Current streak 0 days Last contributed