Stars
Language
Sort by: Recently starred
Source repo for DFX extensions binaries and metadata
The Dapp of the Internet Computer's Network Nervous System.
Internet Computer blockchain source: the client/replica software run by nodes
A collection of libraries and tools for transforming Wasm canisters running on the Internet Computer
This is the main repository for the OpenChat application which runs on the Internet Computer
Embed a custom Motoko code snippet in a Medium article, blog post, or webapp.
This is the main repository for the Viper IDE extension for VS Code.
This repository provides the artifact for the paper: "Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers", A. Bugariu, A. Ter-Gabrielyan, and P. Müller, FM'21.
Simple high-level language for writing Internet Computer canisters
Example applications, microservices, and code samples for the Internet Computer
Chrome extension to add some filter to LinkedIn's job search interface
Lizard is the visual verification debugger for Viper IDE
Graphviz DOT rendering and animated transitions using D3
The micro-library of Node.js stream components for creating custom JSON processing pipelines with a minimal memory footprint. It can parse JSON files far exceeding available memory streaming indivi…
Play sounds by shelling out to one of the available audio players.
The OpenAPI Specification Repository
💻 ☕ List of Awesome Hacking Locations, organised by Country and City, listing if it features power and wifi