Skip to content
Avatar
  • Block or report user

    Block or report chrisosaurus

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
103 followers · 218 following · 668

Highlights

  • Arctic Code Vault Contributor

Organizations

@discus-lang @proglangdesign

Pinned

  1. discus-lang/salt

    The compilation target that functional programmers always wanted.

    Haskell 55 3

  2. gentzen

    A proof checker and assistant for Sequent calculi

    Haskell 2

  3. icarus

    Programming language designed as an experiment to explore mutation and aliasing control

    C 33 2

  4. discus-lang/ddc

    The Disco Discus Compiler

    Haskell 164 18

  5. carp-lang/Carp

    A statically typed lisp, without a GC, for real-time applications.

    Haskell 3.7k 139

  6. ponylang/ponyc

    🐴 Pony is an open-source, actor-model, capabilities-secure, high performance programming language

    C 4.5k 376

12 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

November - December 2020

chrisosaurus has no activity yet for this period.

October 2020

Opened 1 issue in 1 repository

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

You can’t perform that action at this time.