I'm interested in:
- Compilers
- Web technologies
- Algorithms & Data Structures
- Static Analysis
- Functional programming
- Systems programming
- Development Operations
Name: David Johnson
Type: User
Blog: https://haskell-miso.org
The Monad Transformer Library
Client server implementation in io-streams
NixOS configuration for Mid-2012 MacBookPro
Very simple CI server for Nix projects on GitHub
My nixos config
Generate nix expressions from stack files
Presentation to introduce the Nix packaging environment
NixOS configurations for nixos.org and its servers
Nix Packages collection
Numerical is the core library for Numerical Haskell
A reverse proxy that provides authentication with Google, Github or other provider
Implementation of cryptographic program obfuscation
Octopress is an obsessively designed framework for Jekyll blogging. Itβs easy to configure and easy to deploy. Sweet huh?
A monad transformer for Opaleye
Web service for Open Arms ministry in Chicago
OpenSSL network support for io-streams.
Yet another ORM for haskell
Unpinned byte arrays in GHC haskell
Example project demonstrating the use of the parameterized-utils library
A set of utilities for using indexed types including containers, equality, and comparison.
Paris Functional Programming Meetup
Persistence interface for Haskell allowing multiple storage methods.
Generic facilities for working with Persistent classes
Postgis bindings for Persistent
Rewrite persistent Template Haskell into pure functions and definitions.
Haskell bindings to libpg-query
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.