Minh Huy, Tran's Projects
Hyperledger Aries Framework Go provides packages for building Agent / DIDComm services.
Simple cashback survey form created with basic HTML and CSS
A collection of Practical Excersice for the Course Computational Engineering and Robotics at Technical University Darmstadt
A Project for Serious Game SoSe22 - Technische Universität Darmstadt
The 1st practical exercise of the course introduction to compiler design. Which demonstrate the concept of Recursive Parser and Syntax Analysis.
The 2nd practical exercise of the course introduction to compiler design. Which demonstrate the concept of Contextual Analysis.
The 3rd practical exercise of the course Introduction to Compiler Design, which demonstrates the concept of Code Generation by Implement a modified Triangle Abstract Machine.
2nd practical lab of the course Formal Methods in Software Design, which demonstrates the concept of Modelling using JML and Proof Analysis using KeY
A small game create with my friend to enter Jame Gam #20. I implement a basic procedural generation for the game.
🌔 Perun's Blockchain-Agnostic State Channels Framework in Go.
Learn the go language
First Practical Excersice of the course Formal Methods in Software Design at TU Darmstadt, which demonstrate the concept of Model Checking using Promela, and SPIN
Config files for my GitHub profile.
Trustless payment for verifiable credentials using go-perun.
Blockchain-agnostic state channels framework
A collection of submissions for the course Machine-oriented Programming and Parallel Programming. The submission demonstrates the ability to use the language C/C++ plus the librabries OpenMP, MPI and CUDA to perform parallel threads and cores work
submission 2 for jr programmer pathway
A serious game protoype aims at teaching students the concept of Electrical Discharge and Electromagnet. Developed as prototype for the Bachelor's Thesis at Technical University of Darmstadt.