CD2H gitForager

Steven Shaw

Login: steshaw

Company: @tlcsrc

Location: The Matrix

Bio: Loves programming languages

Blog: http://steshaw.org/

Member of

Repositories

adt-in-java-with-fold: Encoding algebraic data types in Java using fold
aeson-example: Simple aeson example
angular2-heroes: Heroes tutorial for Angular 2
apple-push-notification-example: null
argonaut-hs: Argonaut: Haskell Edition
awesome: What makes Proudcloud awesome.
awesome-recursion-schemes: Resources for learning and using recursion schemes.
babycc: A journey through the Crenshaw compiler tutorial using C and x86 from back in 2004
babychess: Toy chess engine
bfpg-software-foundations: Mirror of software-foundations course material
bfpg-talks: Talk idea and scheduling + record of past talk resources.
bjne: Beautiful Japanese NES Emulator
blue: Matt Stall's C# compiler in C# http://blogs.msdn.com/b/jmstall/archive/2005/02/06/368192.aspx
bt-build-base: null
building-lisp: Working through "Building LISP"
calcc: A tiny compiler for a toy C-like language
cats: Lightweight, modular, and extensible library for functional programming.
ccminer-x16r: CUDA miner project, compatible with most nvidia cards (X16R/Ravencoin)
cloudsql-proxy: null
codemirror: clone of http://marijnhaverbeke.nl/git/codemirror
codename-karka: Grand refactoring of a whole bunch of stuff at once
command-line-tweeter: Tweets in from a pipe
commercialhaskell: A special interest group for companies and individuals interested in commercial usage of Haskell
conduit: A streaming data library
course: Functional Programming Course
craftcms-docker: null
cube-fu: Wouter van Oortmerssen's Cube engine/game, including changes to compile/run cleanly on Mac.
datadog: Haskell DataDog client library
dd-middleware: null
decktape: PDF exporter for HTML presentation frameworks
dEngine: null
docker-ghc: Docker image for building with ghc 7.10.3
docker-php-fpm: null
donkey: null
dsss17: Lecture material for DeepSpec Summer School 2017
economics-in-one-lesson: Economics in One Lesson
elm-architecture-tutorial: How to create modular Elm code that scales nicely with your app
elm-heroes: Elm Tour of Heroes
erlang: Erlang/OTP
euler: My Project Euler solutions, in various languages (intended to observe differences in languages)
fastly: null
FirstAsp: null
FOSSPresentation: Introduction to FOSS, for beginning programmers
foundation-zurb-template: Official ZURB Template for Foundation for Sites.
fp-in-erlang-kent: Functional Programming in Erlang, University of Kent
fpinscala: Exercises, answers, and hints to go along with the book "Functional Programming in Scala"
fpinscala-exercises: Working through the exercises from the book "Functional Programming in Scala"
free-programming-books: null
free-science-books: Inspired by free-programming-books, here's free-science-books
front-end-handbook-2017: 2017 edition of our front-end development guide
fsharp-journal: null
fsharpworkshop: F# Workshop
gazette: Toy project serving to illustrate that it's possible to write pure functional systems in Scala.
gcp-http-balancer-example: null
gcs-upload-example: null
get-idris: Setting up an Idris dev environment on Windows
ghc: Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
ghc-mod: Happy Haskell programming for editors
ghc-syb: Scrap Your Boilerplate instances for GHC's data types
gogol: A comprehensive Google Services SDK for Haskell.
google-logging-example: Example Google/Stackdriver Logging using gogol-logging
gtk-examples: Examples from "Developing Linux Applications with GTK+ and GDK" by Eric Harlow
halcyon-tutorial: Companion app for the Halcyon tutorial
haskell-amuse-bouche: A short technical talk about some fun things in Haskell
haskell-atp: Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell
haskellbyexample: Haskell by Example
haskell-distributed-tutorial: null
haskell-ide-engine: The engine for haskell ide-integration. Not an IDE
haskell-report: Haskell Language Report
haskell-script-examples: Examples of tools for use in basic utility scripts
haskell-shebang-examples: Haskell shebang examples
haskell-smp-example: null
haskell-strings: null
Haskell-Turtle-Library: Shell programming, Haskell style
haxe-compiler-experiments: Some of my (unstable unfinished probably buggy) HaXe compiler experiments. On this repo nothing is stable. Don't depend on it
hbound: null
hello: Hello repo for learning Git
hello-lifty-lift: Blank project with SBT 0.7.5.RC0, Lifty 1.5 and Lift 2.2
hello-web: null
hfish: Reimplementation of the fish shell in haskell ? This is a mirror of the gitlab repository at https://gitlab.com/hfish-shell/hfish
hm: Ian Grant's awesome tutorial on Hindley-Milner Type Inference
hnix: A Haskell re-implementation of the Nix expression language
hoe: Haskell One-liner Evaluator
homebrew: The missing package manager for OS X.
hsChess: null
ht-example: null
http-post-example: null
hugo-blog-experiment: Experimenting with http://gohugo.io/
hunt: A flexible, lightweight search platform
huttons-razor: Implementation of Hutton's Razor
ident-demo: Indentation parsing demo
idris: A Dependently Typed Functional Programming Language
idris-bi: Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
idris-calc: A simple arithmetic calculator written in Idris.
idris-chez: An idris backend compiling to chez scheme
idris-elisp: null
idris-jessie: See if we can't get a jessie package of Idris
idris-jessie-i386: Idris binary packages for Debian jessie i386
idris-miniml: Compiler for MiniML in Idris
idris-mode: Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
idris-sdl2: SDL2 binding for Idris
intellij-haskell: IntelliJ plugin for Haskell
intellij-scala: Scala plugin for IntelliJ IDEA
intero: Complete interactive development program for Haskell
kaleidoscope: Haskell LLVM Kaleidoscope Tutorial
katip: A structured logging framework for Haskell
ksonnet-example: null
lambdajam-patterns-in-types: Base project for "Patterns in Types" jam, for LambdaJam Australia conference.
lambdajam-web-functions: Material for my LambdaJam 2017 talk
language-swift2-quote: WIP (aka broken) parser/pretty-printer for Swift 2 in Haskell
language-swift-quote: WIP (aka broken) parser/pretty-printer for Swift 2 in Haskell
laptop: A shell script which turns your OS X laptop into an awesome web development machine.
LaserCommandoWeb: null
learn-git-basics: A Beginner's Guide to Git
learning-ansible: null
learning-conduit: null
learning-foundation: Learning ZURB Foundation
learning-lens: null
learning-rust: null
learning-typescript: Learning TypeScript
learning-yesod: null
learn-tachyons: :heart_eyes: Learn how to use Tachyons to craft beautiful, responsive, functional and fast UI with minimal CSS!
learn-tt: A collection of resources for learning type theory.
lennart-lambda: Lennart Augustsson's lambda calculus cooked four ways
lennart-lambda-cube: Lennart Augustsson's lamda cube
lens-inference: Infer lenses
license-trials: null
lightyear: Parser combinators for Idris
logging-effect-google: null
mandrill: Pure Haskell client for the Mandrill JSON API
metathesis: LaTeX thesis template from http://www.cs.mun.ca/~donald/metathesis/
mincaml: The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-caml
min-caml: moved from https://sourceforge.net/p/min-caml/code/
modular-modules: Code from A modular module system, Xavier Leroy
monadius: 2-D arcade scroller
mongodb-example: MongoDB example in Haskell
multi-ghc-travis: Scripts and instructions for using Travis-CI with multiple GHC configurations
myrepos: Multiple Repository management tool
namely-painless: null
nand2tetris: null
nikivazou.github.io: My website
nix: Nix, the purely functional package manager
nix-docker: Provision Docker images using Nix
nixpkgs: Nix Packages collection
Notes: Notes taken from diverse technologies
npcloudinary: A simple way to let Craft CMS and Cloudinary interact.
OAuth2v1: null
oh-my-zsh: A community-driven framework for managing your zsh configuration. Includes 180+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 120 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
omr: Eclipse OMR? Cross platform components for building reliable, high performance language runtimes
one-click-hugo-cms: null
oplss-notes-2017: handouts and notes from the 2017 edition of the summer school
org-ref-example: null
parconc-examples: Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
persistent: Persistence interface for Haskell allowing multiple storage methods.
pfpl: PFPL
pi-forall: A demo implementation of a simple dependently-typed language
pi-forall-playground: Playground for pi-forall
PLAR: Code from book "Handbook of Practical Logic and Automated Reasoning" by John Harrison
playground: Steve's code playground
play-todolist: Play 2.1 sample ScalaTodoList app
plc-sestoft: Programming Language Concepts by Peter Sestoft
plt: Programming Language Theory
plzoo: Programming Languages Zoo
postgresql-queue: A PostgreSQL backed queue
quickcheck-examples: QuickCheck examples
radar: A sensible Technology Radar
rails-mysql-example: null
runhs: null
sauerbraten: A git mirror of the sauerbraten SVN repo
sbt: sbt, a build tool for Scala
scalagwt-sample: Sample Scala+GWT project
scalaz: An extension to the core Scala library for functional programming.
scalaz-camel: A Scala(z)-based DSL for Apache Camel
scalaz-examples: Scalaz examples
schemey: Scheme interpreter based on "Write Yourself a Scheme in 48 Hours"
scotty-example: null
sdl2-playground: Playground for SDL2
SDL-idris: SDL bindings package for idris
seriouspizzas: null
servant-example: null
shelly: My dotfiles and more
ShowOffPad: ShowOff Presenter on the iPad
sicp-notes: Notes from SICP
slack-black-theme: A darker, more contrasty, Slack theme.
slownews: ? Bringing slow news for the nervous among us
slpj-book-1987: The Implementation of Functional Programming Languages ? Simon L. Peyton Jones
software-foundations: Software Foundations
spacemacs: A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
spacemacs-coq: A very simple coq layer for spacemacs
spock-example: null
stack: The Haskell Tool Stack
stack-example: Simple Haskell Stack example Haskell project
stack-templates: Project templates for stack new
stanford-cs240h: Course materials for Stanford CS240h, "Functional Systems in Haskell"
steshaw.github.com.jekyll: Minimalistic blog using Jekyll and Git
steshaw.github.com.octopress: Octopress powered steshaw.org
steshaw.github.io: Generated files GitHub Pages hosted steshaw.org
steshaw.org: Homepage
StopPayingForFreeMonads: null
StopPayingForFreeMonads-forked: Haskell code for YOW LambdaJam 2016 workshop
stripe-csv-importer: Import Stripe plans from CSV
stylish-haskell: Haskell code prettifier
super-rentals: Ember Tutorial
TAPL: Types and Programming Languages
tasty-golden: Golden tests support for Tasty
tdd-with-idris: Working through Type-Driven Development with Idris
technology-stack: :bulb: Detailed description + diagram of the Open Source Technology Stack we use for dwyl projects.
techradar: Renamed to `radar`. See https://github.com/steshaw/radar
techtalks: tech talks
text: An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
three.js: Javascript 3D Engine
ticketing: null
tiger-ml: Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
turtle-shell-with-nix: Turtle shell example with Nix
type-theory-study-group-2015: Resources for Type Theory Study Group 2015
ud615: Course code for Scalable Microservices with Kubernetes
veggies: Hopefully verifiable code generation in GHC
victor-hugo-example: null
web-framework-from-scratch: A web framework from scratch
webgl-lessons: A series of lessons in WebGL
webkit-editor: Experimental text editor which runs in the browser
webpack2-example: null
witty: A web server to show bottlenecks of GHC
xv6: xv6 OS
yesod: A RESTful Haskell web framework built on WAI.
yesod-postgresql-example: null
yesod-simple-example: null
yesodweb.com-content: Content for the www.yesodweb.com site
zendesk: Zendesk client library
zendesk-api: Haskell api for zendesk customer management system

Commits To

Repository	Most Recent Commit	# Commits

This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.