Block or report user

Report or block JadenGeller

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. Helium

    A floating browser window for OS X

    Swift 3.1k 199

  2. Mailbox

    Swift Mailboxes as a shameless ripoff of Go's Channel feature

    Swift 13

  3. realm/realm-cocoa

    Realm is a mobile database: a replacement for Core Data & SQLite

    Objective-C 12.4k 1.6k

  4. realm/realm-object-store

    Cross-platform abstractions used within Realm products

    C++ 86 16

  5. CS-179-Project

    Parallel Nash Equilibrium Computation via Genetic Algorithm

    C++ 5 1

  6. CS-81-Project

    Compiler Project

    Swift 1 1

11 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri

Contribution activity

May - August 2018

JadenGeller has no activity yet for this period.

April 2018

Created an issue in idris-lang/Idris-dev that received 1 comment

Rewrite did not change type despite exact syntactic match

Steps to Reproduce Type-check the following: replicateToProperLength : (n : Nat) -> List.length (replicate n x) = n replicateToProperLength Z = Refl

1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.