Name: Chris Hall
Type: User
Company: @google
Bio: Ex-Googler (Chrome Browser).
Buzzwords: Programming languages, Type theory, Mathematical Proofs, Hash tables, Memory management, Accessibility, UX/UI.
Location: Sydney, Australia
Chris Hall's Projects
Client side encrypted pastebin
A minimal linear lisp experiment
experimental GUI text editor
atomos no graph - profiling attempt for idea behind https://github.com/DomNomNom/atomos
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
adjacency matrix implementation using bitwise operations
The Bone Lisp programming language
The Rust Programming Language
Unprivileged sandboxing tool
experimental CLI text editor
A WIP collection of various calculi implementations and their semantics
a statically typed lisp, without a GC, for high performance applications
A JavaScript checker and optimizer.
Cognitive and Learning Disabilities Accessibility Task Force deliverables
Upload gcov results to coveralls.io
A KISS, non-intrusive cross-platform C unit testing framework
a joke 'language' for solving fruit loop necklace problems
The Disciplined Disciple Compiler
scriptable in place file editor
A collaborative bibliography of work related to the theory and practice of computational effects
A comparison of how computational effects and handlers are implemented in various programming languages.
Epic - a Supercombinator Compiler
Better tools for thought
Manage a list of prefixes in a file and have them announced to or withdrawn from ExaBGP automatically
The Flix Programming Language
basic FreeRTOS implementation for Pebble Time
linear probing hash table implementation written in pure c (c99) supporting generic keys