chrilves Goto Github PK
Name: Christophe Calvès
Type: User
Company: Ledger
Location: Paris, France
Name: Christophe Calvès
Type: User
Company: Ledger
Location: Paris, France
A Beta machine implementation with video display.
Automatic Batching of API calls Scala Library
Tutorial on programming with Dependent Types in Idris, Coq, Agda and FStar using Category Theory as use case.
Small image transformation script
Solutions and tools of Coding Game puzzles
ScalaJS Presentation Framework
Advent Of Code 2019 in Dotty
Pure IO like monad
Elm monadic parsers with generic input
Présentation F-Algèbres et F-CoAlgèbres
Generalized Algebraic Data Types example in Scala
Generalized Algebraic Data Types examples in Haxe
The dangers of git merge
A platform to help meetup organizers and speakers grow together
Porting Grav Learn theme to Hugo
websockets for hyper servers, backed by tungstenite
A Dependently Typed Functional Programming Language
Experimental Malfunction backend for Idris
Fast math typesetting for the web.
Questions/Réponses Anonymes
An open font project to create a revival of Fry’s Baskerville
Virtual Machines for the Paris Idris Group
A simple scala DSL to allow clean and monadic style for Play! Actions
Précepte is an opinionated scala monitoring library
Support pour la session Hands On du meetup du Paris Scala User Group du 31 mars 2016
Robust And Fast Functional IO Toolkit
A tiny SBT plugin to make scalac brutal and merciless
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.