leoslf Goto Github PK
Name: Leo Sin
Type: User
Name: Leo Sin
Type: User
Haskell list arrows.
A Python library for simulating finite automata, pushdown automata, and Turing machines
Blackbird Bitcoin Arbitrage: a long/short market-neutral strategy
CS5487
DeepDiff: Deep Difference and search of any Python object/data. DeepHash: Hash of any object based on its contents. Delta: Use deltas to reconstruct objects by adding deltas together.
Haskell 99 questions
Best practices on how to be efficient with Haskell in production
Haskell bindings to Microsoft's Z3 API (unofficial).
Deploy Kubernetes Helm Charts
a simple operator to trigger a Job on a git commit in a repository
Minecraft, but I made it in 48 hours.
MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!
Optional static typing for Python
NestJS Authentication & JWT validation for OIDC
A NestJS module for managing environment variables easily and securely.
REST API with gRPC back-end microservices built using the NestJS framework. Used for learning/trial & boilerplate purposes only.
Functors, Applicatives, And Monads in Python
Haskell library for manipulating and evaluating polynomials
Proxmox with Talos and Kubernetes!
Priority Search Queues in three different flavors for Haskell
Editable Table Component with vertical scrolling in React native
:sunrise_over_mountains: A React Native module that allows you to use native UI to select media from the device library or directly from the camera.
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.