therewillbecode Goto Github PK
Name: Tom
Type: User
Bio: Lean/Haskell/Rust/Typescript - "To ask the right question is harder than to answer it." Georg Cantor
Location: Edinburgh, UK
Name: Tom
Type: User
Bio: Lean/Haskell/Rust/Typescript - "To ask the right question is harder than to answer it." Georg Cantor
Location: Edinburgh, UK
A collection of awesome things regarding React ecosystem
Awesome list of Redux examples and middlewares
BF to Webassembly compiler implemented in Haskell
Python Implementation
Node.js - Binary Calculator for codewars challenge
Work in progress ReasonReact bindings for react-stripe-elements
Python
play around
Easily test that redux thunk dispatches the correct async actions
Node.js, Meteor, MongoDB - social media platform
Create a react library with no build configuration
Python - Numpy & Pandas. Data Vis - Node.js & D3
Documentation for the PureScript language, compiler, and tools.
JavaScript Testing utilities for React
A functional smart contract system
Financial Visualisation
Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
repository for material for Jan-Mar 2023 course on formalising mathematics
An Interpreter for a Simple Functional Language
Typography driven, feature-rich blogging theme with minimal aesthetics. Includes tags/categories support and extensive features for code blocks such as live preview, line numbers, and line highlighting.
Parallel asynchronous web scraping for casperjs using child processes
A decentralization of GitHub using BitTorrent and Bitcoin
A list of haskell exercises
An opinionated list of resources for learning Haskell
A Curated List of Resources for Learning Haskell
A higher order react-motion motion component that takes an interpolated style and does the heavy lifting
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.