👋
IOI medalist
Live/Video Engineer
-
Meta
- United States
- https://www.linkedin.com/in/huuthanhnguyen/
- @giongto35
Block or Report
Block or report giongto35
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: TLA
All languages
C
C#
C++
CSS
Dart
Dockerfile
Go
HTML
Java
JavaScript
Jupyter Notebook
Lua
Makefile
Markdown
Nix
Python
Ruby
Rust
Shell
TLA
TypeScript
Vim Script
Nothing to show
Sort by: Most stars
1
star
written in TLA
Clear filter
PGo is a source to source compiler from Modular PlusCal specs into Go programs.