-
💬 Ask me about Fullstack Software Development, Functional Programming, Type System, Code Generation
-
⚡ Fun fact: I am an avid soccer player
dandoh Goto Github PK
Name: Nhan Thai
Type: User
Bio: Software Engineer
Location: Ontario, Canada
Name: Nhan Thai
Type: User
Bio: Software Engineer
Location: Ontario, Canada
Accessing Agda's interaction mode via command line.
Barnes-hut N-body simulation MPI C++
Check if a boolean formula is valid or satisfiable
Clean database for testing, inspired by database_cleaner for Ruby
Algorithms implemented in Scala for Design and Analysis of Algorithm - Tim Roughgarden on Coursera.
Favorite Actions plugin for Jetbrains IDEs, written in Kotlin
Graphics library authored by Chris Schankula and Dr. Christopher Anand
Codeforces plugin for Jetbrains IDEs
GitPitch In 60 Seconds - A Very Short Tutorial
IntelliJ plugin for several experimental programming languages here
My custom IntelliJ IDEA Community Keymap
libLBFGS: a library of Limited-memory Broyden-Fletcher-Goldfarb-Shanno (L-BFGS)
Haskell GraphQL Api, Client and Tools
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.