danidiaz Goto Github PK
Name: Daniel Díaz Carrete
Type: User
Company: Artificial Labs
Twitter: DiazCarrete
Location: A Coruña, Spain
Name: Daniel Díaz Carrete
Type: User
Company: Artificial Labs
Twitter: DiazCarrete
Location: A Coruña, Spain
Experiments in converting pipes functions to foldl folds
A writer-like Applicative/Arrow for resource estimation and progress tracking.
POK3R keyboard layouts for Windows and OS X/Mac
Concurrent, streaming access to the input and outputs of system processes.
Quizzes, maybe
A react table component to display large datasets with high performance and flexibility
A really small example of the Backpack module system for Haskell
Extensible records and variants indexed by a type-level Red-Black tree.
Reifies arbitrary Haskell terms into types that can be reflected back into terms
Start some repl and expose it as REST service.
Ruby code snippets.
Various functions which are used across multiple @serokell packages. Also contains style-guide.
A simple example language built using the Truffle API.
Nix-based incremental build tool for Haskell projects
An optimized general monad transformer for streaming applications, with a simple prelude of functions
comparing the performance of Streams from "streaming" and ByteStrings from "streaming-bytestring"
Resource management for the "streaming" library.
effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
Working with streams of packed data
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.