LalaportK
I'm interested in optimization algorithms and formal methods. I usually use Golang, C#, Java, and T-SQL, and learning JavaScript, TypeScript, Alloy, and TLA+.
LalaportK's Stars
gwatts/gin-adapter
Adapt standard Go HTTP middleware packages for use with Gin
Paperist/texlive-ja
The minimal TeXLive Docker image for Japanese
Swagger2Markup/swagger2markup
A Swagger to AsciiDoc or Markdown converter to simplify the generation of an up-to-date RESTful API documentation by combining documentation that’s been hand-written with auto-generated API documentation.
devhubapp/devhub
TweetDeck for GitHub - Filter Issues, Activities & Notifications - Web, Mobile & Desktop with 99% code sharing between them
benawad/codeponder
Marketplace for Code Reviews
alan2207/bulletproof-react
🛡️ ⚛️ A simple, scalable, and powerful architecture for building production ready React applications.
piotrwitek/react-redux-typescript-guide
The complete guide to static typing in "React & Redux" apps using TypeScript