Pinned Repositories
ardupilotone
A universal autopilot system for ArduPilotMega
GameOfLife
A parallel implementation of The Conway's Game Of Life using MPI
Linux-RC-files
.bashrc, .vimrc, .screenrc, .rc.lua, ...
ic
Internet Computer blockchain source: the client/replica software run by nodes
motoko
Simple high-level language for writing Internet Computer canisters
vscode-motoko
Motoko language support for VS Code.
lizard
Lizard is the visual verification debugger for Viper IDE
viper-ide
This is the main repository for the Viper IDE extension for VS Code.
viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.
aterga's Repositories
aterga/Linux-RC-files
.bashrc, .vimrc, .screenrc, .rc.lua, ...
aterga/ardupilotone
A universal autopilot system for ArduPilotMega
aterga/GameOfLife
A parallel implementation of The Conway's Game Of Life using MPI
aterga/Makefiles
collection of useful Makefiles
aterga/PathwayOfKnowledge
Intelligent Solution for Understanding Scientific Articles
aterga/UniSched
Universal Scheduler. A fresh solution of time management. Designed with hope of being useful.
aterga/aterga.github.io
Personal website repo
aterga/examples
Example applications, microservices, and code samples for the Internet Computer
aterga/homebrew-viper
Homebrew tap for Viper.
aterga/ic-monitoring-benchmark
Artifact for "Monitoring the Internet Computer" (FM'23)
aterga/ic-wasm
A collection of libraries and tools for transforming Wasm canisters running on the Internet Computer
aterga/internet-identity
Internet Identity, a blockchain authentication system for the Internet Computer
aterga/lego
LaTeX/TikZ commands for drawing LEGO bricks
aterga/lizard
Lizard is a VS Code extension and an experimental visual debugger for the Viper intermediate verification language.
aterga/markdown-navigation
This is a markdown extension for Visual Studio Code.
aterga/motoko
Simple high-level language for writing Internet Computer canisters
aterga/node-find-java-home
Finds the location of java home on any system.
aterga/package_control_channel
Default channel file for Package Control. Follow the directions at:
aterga/portal
Internet Computer Developer Portal
aterga/Probleme-a-N-corps
The gravitational problem of N bodies. Parallel implementation on javascript.
aterga/reachability-models
Alloy models for formalising and testing the components of the reachability verification technique
aterga/RoboMobo
aterga/sns-testing
Testing SNS in local testing environment
aterga/syrver
Verification server for verifying Vyper smart contracts
aterga/test-artifact-api
aterga/traces2petrinet
aterga/viper-comprehensions
aterga/viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.
aterga/vscode-extension-samples
Sample code illustrating the VS Code extension API.