aterga Goto Github PK

ardupilotone

A universal autopilot system for ArduPilotMega

aterga.github.io

Personal website repo

examples

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

gameoflife

A parallel implementation of The Conway's Game Of Life using MPI

homebrew-viper

Homebrew tap for Viper.

ic-monitoring-benchmark

Artifact for "Monitoring the Internet Computer" (FM'23)

ic-wasm

A collection of libraries and tools for transforming Wasm canisters running on the Internet Computer

internet-identity

Internet Identity, a blockchain authentication system for the Internet Computer

lego

LaTeX/TikZ commands for drawing LEGO bricks

linux-rc-files

.bashrc, .vimrc, .screenrc, .rc.lua, ...

lizard

Lizard is a VS Code extension and an experimental visual debugger for the Viper intermediate verification language.

makefiles

collection of useful Makefiles

markdown-navigation

This is a markdown extension for Visual Studio Code.

motoko

Simple high-level language for writing Internet Computer canisters

node-find-java-home

Finds the location of java home on any system.

package_control_channel

Default channel file for Package Control. Follow the directions at:

pathwayofknowledge

Intelligent Solution for Understanding Scientific Articles

portal

Internet Computer Developer Portal

probleme-a-n-corps

The gravitational problem of N bodies. Parallel implementation on javascript.

reachability-models

Alloy models for formalising and testing the components of the reachability verification technique

robomobo

sns-testing

Testing SNS in local testing environment

syrver

Verification server for verifying Vyper smart contracts

test-artifact-api

traces2petrinet

unisched

Universal Scheduler. A fresh solution of time management. Designed with hope of being useful.

viper-comprehensions

viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.

vscode-extension-samples

Sample code illustrating the VS Code extension API.