matthewhammer Goto Github PK

fumola-lang

Fungible Models Language.

fungi-tikz

Fungi computations and data structures drawn out with TikZ

funqy

FunQy - A high-level hybrid quantum programming language

globalrd-feedback

An IC community feedback dapp powered by Motoko

google-doodle-champion-island

The source-code and assets for the 2021 Google Doodle Champion Island

graphmovie

Designed as a debugging tool, this web app reads a DCG from a file and displays the contents along with a timeline that recolors the graph to the selected state

homedirkit

Home Directory Kit.

ic

Source project for the Internet Computer software

ic-elm

ic-kanban

A kanban board built on the Internet Computer

ic-logo

ic-mini-terminal

Internet Computer Mini Terminal

ic-repl

ic-tools

A collection of tools for the DFINITY Internet Computer.

icedit-calc

Core calculus for IC-Edit, our Incremental Computation-based Editor.

icedit-demo

Demonstration videos for IC Edit.

iceth

ETH for the IC

im-rs

Assorted immutable collection datatypes for Rust

io-ts

Runtime type system for IO decoding/encoding

jape

Jape, a configurable proof editor (best at natural deduction and sequent calculus)

juce

The JUCE cross-platform C++ framework

linkedup

An open professional network.

livelykernel

The Lively Web runtime and development environment

lucene-solr

Apache Lucene and Solr open-source search software

matthewhammer.github.io

Professional homepage for Matthew A. Hammer

memgraph

The start of an implementation of Adapton

message-from-space

mincaml

A MinCaml compiler implemented in Rust

mirrorgarden

Live programming engine built with Motoko for Internet Computer canisters.

mo-mem