peterson Goto Github PK
Name: David Peterson
Type: User
Location: Canberra, Australia
David Peterson's Projects
atom-language-coq
Coq language support for the Atom editor
coq-huet
Examples from the Coq Tutorial by Huet et al.
dotfiles
Dotfiles
dump1090
Dump1090 is a simple Mode S decoder for RTLSDR devices
echo-demo
:loudspeaker: Demonstrating Laravel Echo
fp-projects
A description of Functional Programming projects
geometric
hsjunk
Haskell junkcode
hsttt
TicTacToe in Haskell
intro-to-ml
lets-haskell
An introductory course on Haskell and functional programming
lets-lens
Course material for lens
lets-tree
An introduction to trees and related data structures in Haskell
mal
mal - Make a Lisp
marlin-configs
Configuration files for marlin firmware
nicta-haskell-course
Functional Programming Course
peterson-kicad-libs
KiCAD library
peterson.github.io
Jekyll source for my blog
purescript-workshop
Step-by-step tutorial materials for the "A Whirlwind Tour of PureScript" workshop, held at YOW! Lambda Jam 2016 in Brisbane, and Compose Conf 2016 in Melbourne, Australia..
regs
saasux
Ruby XML interface to Saasu API
servant-persistent
A brief example of Servant with Persistent
stl_treetop_parser
STL Treetop Parser
swiftios
talk-2016-02-lenses-ground-up
Lenses from the Ground Up, presented in Feb 2016 at CanFP.
ud120-projects
Starter project code for students taking Udacity ud120
yorgey-course
CIS194 homework solutions
zeus-api
Ruby control API for Zeus Load Balancer and Zeus Traffic Manager
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 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.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
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.