Type: User
Bio: Computer Scientist / Mathematician
Blog: https://recursion.ninja
modern-uri
Modern library for working with URIs
mono-traversable
Type classes for mapping, folding, and traversing monomorphic containers
mono-traversable-keys
Maps, fold, zips, etc. over monomorphic structures
olympus-media-transfer-script
Transfer Media from the Olympus (TG-6) camera to the local machine via camera WiFi network
onboarding-initialization
opaleye-basics
Exploring the basics of the Opaleye library
opengovernment
OpenGovernment -- a project of the Participatory Politics Foundation
parser-combinators
Lightweight package providing commonly useful parser combinators
pcg
𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search
personal-website
The source code of my personal website
pop-count-synthesis
Program Synthesis of the "PopCount" function for various bit-vectors in the field ℤₙ
presentation-well-typed
Presentation of the Needleman–Wunsch algorithm for Well-Typed
primitive-simd
Expose SIMD prim-ops in a uniform way.
project-m36
Project: M36 Relational Algebra Engine
projecteuler
My solutions to Project Euler challenges in various languages
recursion-ninja
sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
sbv-program
scallop-lang.github.io
secretsanta
Select a pseudorandom secret santa arrangement subject to participant relationship constraints
semigroupoids
shields
Concise, consistent, and legible badges in SVG and raster format
stackage
"Stable Hackage": vetted consistent packages from Hackage
star-dust
steady-scan
Haskell Continuous Integration helper
subway-virus-transmission
A model of virus spread within subway cars of a subway line
summoner
🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects
superion-yaml
Attempts to find security vulnerabilities in NetHack via input Fuzzing
system-update-script-macos
A script for updating system packages, coding tools, and clearing out caches which accumulate
system-update-script-ubuntu
A script for updating system packages, coding tools, and clearing out caches which accumulate
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.
