Name: Tim Johns
Type: User
Company: @MercuryTechnologies
Bio: Equal parts programmer and programming educator. Proponent of functional programming and the values of type theory.
Location: Toronto, Ontario
Blog: timjohns.ca
š Hi, I'm Tim!
š I'm on the lookout for a new position in a cool company
š± Iām currently learning Agda
š¬ Ask me about functional programming
ā” Visit my blog
adventofcode2022
My solutions to https://adventofcode.com/2022 in Haskell
adventofcode2023
ag-1
Firmware for the AG-1 data logger developed by Icewire Technologies.
ag-1-firmup
Firmware updater for the AG-1 data logger developed by Icewire Technologies.
aggregator
ardublock-updater
A tool for updating to the latest version of Icewire Makerspace's ArduBlock fork
arduino-etch-a-sketch
Etch A Sketch for Arduino with Nokia 5110 LCD (PCD8544)
arduino-simple-buttons-library
arduino-text-adventure
A text adventure game for the Arduino Uno
arduino-twoinone
An Arduino Uno two-in-one project that uses a LCD to display photocell and temperature sensor data or play a game.
arduino-zumo-pixy-robot
A small tank-like robot that follows an object of a chosen colour.
arduinoprops
A library to make "props", meant to communicate wirelessly with the gateway.
basic-genetic-algorithm
My Python implementation of the genetic algorithm described at: http://www.ai-junkie.com/ga/intro/gat3.html
basicsofhaskell
My Haskell practice for learning.
blackjack-trainer
Learn perfect blackjack strategy and high-low card counting in an interactive app. Master optimal gameplay decisions and advance card counting techniques in a realistic casino environment. Elevate your blackjack skills today!
box01
Move Forwards and Turn Right Four Times
carnd-advanced-lane-lines
My project submission for Udacity's Self-Driving Car Engineering course.
carnd-lanelines-p1
Lane Finding Project for Self-Driving Car ND
carnd-p3-behavioral-cloning
carnd-traffic-sign-classifier-project
Classify Traffic Signs.
certainty-by-construction
certainty-by-construction-exercises
chatty
An instant messaging system built in React and Express, using WebSockets and MongoDB.
colour-picker-mintbean-hackathon
conkeror-rc
My Conkeror configuration
daily-theme-tracker
Inspired by The Theme System journal (https://www.themesystem.com/)
diptrace-lib
DipTrace components for my projects
downloadavatars
Download the avatars of all contributors of a GitHub repository
dynrel
Dynamic relocation entry retriever for ELF binaries
easy-invoice-maker
Easily generate PDF invoices which are emailed automatically to the client.
React
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
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
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.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ā¤ļø Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
