chrisosaurus Goto Github PK

0bin

Client side encrypted pastebin

a-linear-lisp

A minimal linear lisp experiment

ark

experimental GUI text editor

atomos-ng

atomos no graph - profiling attempt for idea behind https://github.com/DomNomNom/atomos

bidirectional

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

bidirectionaltypechecking

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

bitwise_adjacency_matrix

adjacency matrix implementation using bitwise operations

bone-lisp

The Bone Lisp programming language

book

The Rust Programming Language

bubblewrap

Unprivileged sandboxing tool

buffalo

experimental CLI text editor

calculi

A WIP collection of various calculi implementations and their semantics

carp

a statically typed lisp, without a GC, for high performance applications

chrisosaurus.github.io

closure-compiler

A JavaScript checker and optimizer.

coga

Cognitive and Learning Disabilities Accessibility Task Force deliverables

cpp-coveralls

Upload gcov results to coveralls.io

crappy-anki-plugin

criterion

A KISS, non-intrusive cross-platform C unit testing framework

cycle_lang

a joke 'language' for solving fruit loop necklace problems

ddc

The Disciplined Disciple Compiler

dodo

scriptable in place file editor

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

effects-rosetta-stone

A comparison of how computational effects and handlers are implemented in various programming languages.

epivm

Epic - a Supercombinator Compiler

eve

Better tools for thought

exabgp-prefix-file

Manage a list of prefixes in a file and have them announced to or withdrawn from ExaBGP automatically

flix

The Flix Programming Language

freertos-pebble

basic FreeRTOS implementation for Pebble Time

generic_linear_hash

linear probing hash table implementation written in pure c (c99) supporting generic keys