carlpaten Goto Github PK
Name: Carl Patenaude-Poulin
Type: User
Company: Starburst
Bio: Fascinated by programming languages and formal methods. Coq, Rust, TypeScript, F#.
Location: Montreal, QC
Name: Carl Patenaude-Poulin
Type: User
Company: Starburst
Bio: Fascinated by programming languages and formal methods. Coq, Rust, TypeScript, F#.
Location: Montreal, QC
Agda is a dependently typed programming language / interactive theorem prover.
ANSI escape codes for manipulating the terminal
Codejam 2012
Copybara: A tool for transforming and moving code between repositories.
Coq codes
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Interactive theorem proving with Coq in vim.
CORS proxy for HTTP and HTTPS requests
รผber-simple node.js-Proxy to enable CORS request for any website.
Create React apps using typescript with no build configuration.
The repository for high quality TypeScript type definitions.
This repository contains .NET Documentation.
Environment configuration
Implementing and extending Stephen Dolan's MLsub
Java embedded PostgreSQL component for testing
Find and fix problems in your JavaScript code.
Advanced version of the loader from https://github.com/wube/factorio-lua-tools
A mod for Factorio. It allows you to plan out your production in detail.
Formal Reasoning About Programs
F# compiler service API exposed via a console application
A JavaScript library for internationalization and localization that leverages the official Unicode CLDR JSON data
Shows an issue with the Globalize NPM library typings provided by DefinitelyTyped
Google Cloud Client Library for Python
The tool for beautiful monitoring and metric analytics & dashboards for Graphite, InfluxDB & Prometheus & More
A tool for generating code based on a GraphQL schema and GraphQL operations (query/mutation/subscription), with flexible support for custom plugins.
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.