aterga Goto Github PK
Name: Arshavir Ter-Gabrielyan
Type: User
Company: DFINITY Foundation
Twitter: __wi
Location: Zurich
Blog: https://aterga.github.io
Name: Arshavir Ter-Gabrielyan
Type: User
Company: DFINITY Foundation
Twitter: __wi
Location: Zurich
Blog: https://aterga.github.io
A universal autopilot system for ArduPilotMega
Personal website repo
Example applications, microservices, and code samples for the Internet Computer
A parallel implementation of The Conway's Game Of Life using MPI
Homebrew tap for Viper.
Artifact for "Monitoring the Internet Computer" (FM'23)
A collection of libraries and tools for transforming Wasm canisters running on the Internet Computer
Internet Identity, a blockchain authentication system for the Internet Computer
LaTeX/TikZ commands for drawing LEGO bricks
.bashrc, .vimrc, .screenrc, .rc.lua, ...
Lizard is a VS Code extension and an experimental visual debugger for the Viper intermediate verification language.
collection of useful Makefiles
This is a markdown extension for Visual Studio Code.
Simple high-level language for writing Internet Computer canisters
Finds the location of java home on any system.
Default channel file for Package Control. Follow the directions at:
Intelligent Solution for Understanding Scientific Articles
Internet Computer Developer Portal
The gravitational problem of N bodies. Parallel implementation on javascript.
Alloy models for formalising and testing the components of the reachability verification technique
Testing SNS in local testing environment
Verification server for verifying Vyper smart contracts
Universal Scheduler. A fresh solution of time management. Designed with hope of being useful.
HTTP server that manages verification requests to different tools from the Viper tool stack.
Sample code illustrating the VS Code extension API.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.