matthewhammer Goto Github PK

20230728

agar.io-clone

Agar.io clone written with Socket.IO and HTML5 canvas

agent-rs

A collection of libraries and tools for building software around the Internet Computer, in Rust.

archeri

An experiment in PL design for reactive/interactive programs

assemblyscript

Definitely not a TypeScript to WebAssembly compiler 🚀

atlas-relax

Minimal, powerful declarative VDOM and reactive programming library.

awesome

😎 Awesome lists about all kinds of interesting topics

cancan

A scalable video-sharing service.

candb

CanDB - CanDB is a flexible, performant, and horizontally scalable non-relational multi-canister data storage framework built for the Internet Computer.

candid

Rust Candid Library for the Internet Computer

candid-spaces

A candid data lake service for the internet computer.

cdk-as

Unofficial Experimental AssemblyScript CDK for DFINITY

ceal

CEAL Language Implementation

certified-map.mo

[WIP] Certified Map in Motoko

citybound

A work-in-progress, open-source, multi-player city simulation game.

cleansheets

Spreadsheet-like application for the Internet Computer, written in Motoko.

clementine

:tangerine: Clementine Music Player

codeworld

Educational computer programming environment using Haskell

cra-template-dfn

dai

DAI: Demanded Abstract Interpretation

damon

Distributed peer-to-peer Aspect Middleware on Overlay Networks

denotationalsemantics

The denotational semantics of a simple imperative language in the style of Software Foundations.

dep-tools

Visualization and analysis tools for dependency graphs

dhall-lang

Maintainable configuration files

docs

Public documentation

dragginz

examples

Example applications, microservices, and code samples for the Internet Computer

extendable-token

fructure

a structured interaction engine 🗜️ ⚗️

frunk

Funktional generic programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.