topsii Goto Github PK
Type: User
Type: User
A secure, multilingual package manager for Arch Linux and the AUR.
Haskell 98 bifunctors, bifoldables and bitraversables
Fill-in-the-blanks - A library factoring out substitution from ASTs
A Functional Graph Library for Haskell
Composable, streaming, and efficient left folds
Tree and forest structures in Haskell
Empire strikes back
:boom::computer::boom: A data-parallel functional programming language
Generic data types in Haskell
Proposed compiler and language changes for GHC and GHC/Haskell
Flash client for (live) 3D-Replays of Halo: Combat Evolved (PC) multiplayer games with spectator controlled camera
HGeometry is a library for computing with geometric objects in Haskell.
Displays subtitles in .ass format and easily integrates with HTML5 videos. Supports all SSA/ASS features.
Support for linearly-typed generics in Haskell
Experimental implementation of approaches proposed in my theses to prove the optimal depth of small sorting networks
Translate between binary data and a human-readable collection of words.
Small example to reproduce an issue in GHCi and HLS issue on GHC 9.8+ involving a type family in a quantified constraint
Quickcheck Properties for common typeclasses
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.