viercc Goto Github PK
Name: Koji Miyazato
Type: User
Bio: An unemployed smartass. Loves to be correct. Hardly is.
Twitter: viercc
Location: Japan
Name: Koji Miyazato
Type: User
Bio: An unemployed smartass. Loves to be correct. Hardly is.
Twitter: viercc
Location: Japan
Acyclic deterministic finite automatons to recognize finite strings
Applicative laws, presentation of container applicative
Orphan instances of types from containers and classes from base.
An experimental libray for non-symmetric safe coercion
Library of categories, with categorical constructions on them
Simple Haskell package for efficiently indexable finite and infinite enumerations.
free monads
Data.Functor.Classes instances for core packages
Combine and enhance Functors
A Haskell package for monads on Haskell's (capital) Functors
Experimenting (:->:) constructor and Generic2.
The theory of groups
Code challenges to solve with Haskell
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Kitchen sink project to experiment various Haskell code snippets
Existential Optics: discovering correct lens laws
A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper
Matchable Functors
Exploring Monads in Haskell
Omit top-level module prefices
Open Source Computer Vision Library
Polynomial Comonads
Polynomial functors (a.k.a. containers) in Haskell
Data structure to represent finite binary relation based on containers
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.