ggreif

aquamacs-web-site

The homepage of Aquamacs!

assemblyscript

Definitely not a TypeScript to WebAssembly compiler 🚀

atom-swift-debugger

dfinity-vue

🌱 Vue.js integration with DFINITY SDK bootstrap webpack project.

dune

A composable build system for OCaml.

hyperfunctions

playing with hyperfunctions

hypertypes

ic

Internet Computer blockchain source: the client/replica software run by nodes

ic-hs

A haskell toolbox for the Internet Computer

ic_devs_org_tutorials

This repo contains the tutorials developed by/for ICDevs.org.

incredible

The Incredible Proof Machine

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

motoko

Simple high-level language for writing Internet Computer canisters

motoko-token-canister

motoko-token-canister with claim functions for eligible users

niv-updater-action

A GitHub Action that creates meaningful pull requests with updates to your niv-managed dependencies, so you don't have to do menial chores.

nix-quill

Nix Flake for Quill.

nixpkgs

Nix Packages collection

nixpkgs-mozilla

Mozilla overlay for Nixpkgs.

opetopic

Web based opetopic editor

quill

Minimalistic governance & ledger toolkit for cold wallets

radu-matei.github.io

My blog

read-file-action

Read file contents

sha2

Optimized implementation of all SHA2 functions

spec

WebAssembly specification, reference interpreter, and test suite.

upload-release-action

Upload files to a GitHub release

viper-ide

This is the main repository for the Viper IDE extension for VS Code.

vscode-lldb

A native debugger extension for VSCode based on LLDB

vscode-motoko

The VSCode extension for Motoko

wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift

winter

Haskell port of the WebAssembly OCaml reference interpreter