chrisosaurus
Ex-Googler (Chrome Browser). Buzzwords: Programming languages, Type theory, Mathematical Proofs, Hash tables, Memory management, Accessibility, UX/UI.
@googleSydney, Australia
Pinned Repositories
Carp
A statically typed lisp, without a GC, for real-time applications.
gentzen
A proof checker and assistant for Sequent calculi
icarus
Programming language designed as an experiment to explore mutation and aliasing control
koha-gitify
A script to convert a koha installation (created via koha-create) to run using code in a git clone
linear_hash
linear probing hash table implementation written in C (c99)
plot
toy r7rs-small (WG1) scheme interpreter
pxljm
pixel jam 2011 entry - locked post competition for historical accuracy
ddc
The Disco Discus Compiler
salt
The compilation target that functional programmers always wanted.
ponyc
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
chrisosaurus's Repositories
chrisosaurus/icarus
Programming language designed as an experiment to explore mutation and aliasing control
chrisosaurus/plot
toy r7rs-small (WG1) scheme interpreter
chrisosaurus/linear_hash
linear probing hash table implementation written in C (c99)
chrisosaurus/dodo
scriptable in place file editor
chrisosaurus/calculi
A WIP collection of various calculi implementations and their semantics
chrisosaurus/simple_hash
simple chaining hash table implementation written in pure C (c99)
chrisosaurus/gentzen
A proof checker and assistant for Sequent calculi
chrisosaurus/crappy-anki-plugin
chrisosaurus/linear_hash_tombstoneless
linear probing hash table implementation written in C (c99)
chrisosaurus/linear_set
a set implementation written in pure C (c99), uses linear probing for hash collisions
chrisosaurus/BidirectionalTypechecking
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
chrisosaurus/Carp
a statically typed lisp, without a GC, for high performance applications
chrisosaurus/chrisosaurus.github.io
chrisosaurus/closure-compiler
A JavaScript checker and optimizer.
chrisosaurus/coga
Cognitive and Learning Disabilities Accessibility Task Force deliverables
chrisosaurus/cpp-coveralls
Upload gcov results to coveralls.io
chrisosaurus/ddc
The Disciplined Disciple Compiler
chrisosaurus/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
chrisosaurus/gluon
A static, type inferred and embeddable language written in Rust.
chrisosaurus/granule
A statically typed linear functional language with graded modal types for fine-grained program reasoning
chrisosaurus/library
Research library of the ##dependent IRC channel
chrisosaurus/phoenix
A lightweight macOS window and app manager scriptable with JavaScript
chrisosaurus/plover
Open source stenotype engine
chrisosaurus/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
chrisosaurus/r4cppp
Rust for C++ programmers
chrisosaurus/RadixEngine
A free and open game engine.
chrisosaurus/rfcs
RFCs for changes to Rust
chrisosaurus/salt
The compilation target that functional programmers always wanted.
chrisosaurus/spatial-navigation
Spatial navigation for moving focus with the arrow keys.
chrisosaurus/talon-community
Voice command set for Talon, community-supported.