matthewhammer Goto Github PK

programming-languages

In this course, students will learn about the foundational elements of programming languages as well as the design principles behind Motoko and the Internet Computer, and will build their own simple stack machine using these ideas. Module 1 serves as an intro to this unit, providing historical context for programming language design and how this relates to Motoko. Module 2 introduces the idea of a stack machine that can sequentially process instructions, and Modules 3 and 4 build upon this implementation to extend the functionality of the stack machine with type enforcement and branching.

pyspace

GLSL Fractal Ray Marcher in Python

quill

Minimalistic governance & ledger toolkit for cold wallets

rust

A safe, concurrent, practical language.

rust-forge

rust-webpack-mo

Playing with the template, with an eye towards embedding Motoko-based drawing scripts that run in MoVM.

rustc-on-demand-incremental-design-doc

A draft design document / RFC describing the plan for incremental and "on-demand"

sasylf

Educational Proof Assistant for Type Theory

scummvm

ScummVM main repository

servo

The Servo Browser Engine

shift-left

Bug in libtommath?

stableheapbtreemap

A functional BTreeMap that can be used with a stable variable in heap memory

tantivy

Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust

twelf

The Twelf Programming Language (mirror of SVN repository)

twelf-library

Library classes for the Twelf Proof System

vessel

Simple package management for Motoko

vessel-package-set

The official community package-set for vessel

watchman

AML/CTF/KYC/OFAC Search of global watchlist, sanctions, and politically exposed person (PEP)

wyvern

The Wyvern programming language.

xi-editor

A modern editor with a backend written in Rust.

zqm

Zoom Quilt Machine