John Chandler Burnham (johnchandlerburnham)

johnchandlerburnham

Geek Repo

0

followers

0

following

0

stars

Company:Yatima Inc

Location:Boston, MA

Home Page:agathic.com

Github PK Tool:Github PK Tool


Organizations
lurk-lab

John Chandler Burnham's repositories

hpfp

Exercises and Projects for Haskell Programming from First Principles by Allen & Moronuki

Language:HTMLLicense:GPL-3.0Stargazers:32Issues:4Issues:3
Language:HaskellLicense:NOASSERTIONStargazers:2Issues:4Issues:0
Language:CSSLicense:NOASSERTIONStargazers:1Issues:0Issues:0

dotfiles

NixOS, XMonad, termite, zsh, neovim, taffybar

Language:ShellStargazers:1Issues:2Issues:0
Language:HTMLStargazers:1Issues:2Issues:0

syllabytes

A Syllabic Byte Representation based on Hiragana

tlph

Notes and Exercises for Thinking with Types, Type-Level Programming in Haskell by Sandy Maguire

Language:HaskellStargazers:1Issues:2Issues:0

AdventOfCode2019.fm

Advent of Code 2019 written in the Formality language https://github.com/moonad/formality

Stargazers:0Issues:3Issues:0

bishop

A content-addressed optimal Ī»-calculus.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cinder

Common Interaction Net Delightfully Extensible Representation

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:2Issues:0

diagrams-graphviz

Graph layout and drawing with GraphViz and diagrams

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

elsa

Append-only collections for Rust where borrows to entries can outlive insertions

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

endasfmascotry

A call to end ApacheĀ® Software Foundation's appropriation of Apache culture

Language:HTMLStargazers:0Issues:0Issues:0

Formality

An efficient proof language

License:MITStargazers:0Issues:0Issues:0

Formality-C

An implementation of the Formality language in C

License:MITStargazers:0Issues:0Issues:0

formality-experiments

Experiments related to the Formality language.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0
Language:CStargazers:0Issues:2Issues:0

graph-rewriting-lambdascope

experimental fork of https://hackage.haskell.org/package/graph-rewriting-lambdascope

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

Initium

A Formality library

License:MITStargazers:0Issues:4Issues:0
Language:LeanStargazers:0Issues:0Issues:0

lamadh

A simple Rust untyped lambda calculus

License:MITStargazers:0Issues:0Issues:0

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXLicense:NOASSERTIONStargazers:0Issues:0Issues:0

multibase

Self identifying base encodings

Stargazers:0Issues:2Issues:0

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

plfa.github.io

Introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0

rust-ipfs

The InterPlanetary File System (IPFS), implemented in Rust.

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

tpil4

Notes for Theorem Proving in Lean4 (https://leanprover.github.io/theorem_proving_in_lean4/title_page.html)

Stargazers:0Issues:0Issues:0

trpl

Note on The Rust Programming Language book

Language:RustStargazers:0Issues:0Issues:0
Stargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:2Issues:0