Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Sign up
Popular repositories
-
build-your-own-editor
-
system-zero
a total dependently-typed functional programming language
Rust 2
-
scheme-in-haskell
working thru http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
Haskell
-
zero
explorations in compiler and language design on the jvm
Java 1
-
learn-coq
Learning Coq via Software Foundations (http://www.cis.upenn.edu/~bcpierce/sf/)
Coq
-
resume
Resume in LaTeX
TeX
10 contributions in the last year
Contribution activity
November 2018
- oconnor0/zig C++
Created a pull request in ziglang/zig that received 1 comment
Change std.rb functions to use snakeCase.
Should fix issue #1716. Passes zig test rb.zig.
Created an issue in ziglang/zig that received 1 comment
Functions in std/rb.zig do not match Zig naming guidelines
The functions defined in std/rb.zig in Node, Tree, and at the top-level use snake_case rather than camelCase as the documentation specifies.