pcapriotti Goto Github PK
Name: Paolo Capriotti
Type: User
Company: Wire
Bio: Senior Haskell Developer at Wire. Previously I was a postdoc at TU Darmstadt. Before that I was a postdoc at University of Nottingham.
Location: Berlin, Germany
Name: Paolo Capriotti
Type: User
Company: Wire
Bio: Senior Haskell Developer at Wire. Previously I was a postdoc at TU Darmstadt. Before that I was a postdoc at University of Nottingham.
Location: Berlin, Germany
Base library for HoTT in Agda
Category theory and algebra
background rust code check
Haskell quasi-quoter for DBus functions
Trac plugin for github integration
Kernel development learning project
Solutions of the exercises of the HoTT book
A 2048 clone
KDE Board Game Suite
Applicative option parser
Utilities to convert a parser into a pipe
Conduit adapters for pipes
Compositional pipelines
Pipe utilities
Pipe utilities to deal with sockets.
Pipes to deal with zipped data
Command line accounting tool and python library
QR encoder library
Rubik's cubes and other puzzles
GUI abstraction library for ruby
Command line template expansion tool
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.