bgamari Goto Github PK
Name: Ben Gamari
Type: User
Company: Well Typed LLP
Bio: I enjoy compilers, hiking, and bicycling
Location: Portsmouth, NH, United States
Name: Ben Gamari
Type: User
Company: Well Typed LLP
Bio: I enjoy compilers, hiking, and bicycling
Location: Portsmouth, NH, United States
Nix, the purely functional package manager
A pkg-config wrapper exposing nixpkgs packages
Translate Cabals Generic Package Description to a Nix expression
Install NixOS on top of any existing Linux distribution without rebooting
NixOS support for the ROCm graphics stack (rocm.github.io)
Nix Packages collection
Nix flake and overlay for ESP8266 and ESP32 development.
Mirror of nofib repository. DO NOT SUBMIT PULL REQUESTS HERE
It's just not much mail
Haskell bindings to Notmuch mail
Ubuntu Messaging menu integration for notmuch
Numerical is the core library for Numerical Haskell
Type-level (low cardinality) integers for Haskell.
Sync your IMAP mailboxes. This is my private development sandbox. The canonical repo is at https://github.com/OfflineIMAP/offlineimap
Old and New GHC
An open-hardware photodiode amplifier and optical power meter
A build-it-yourself, 6-wheel rover based on the rovers on Mars!
OpenSCAD - The Programmers Solid 3D CAD Modeller
Some numerical optimization methods implemented in Haskell
Final project for optimization
Playing around with unconstrained optimization for S. Mahadevan's CMPSCI690
Applicative option parser
UMass ICB3 OSSI 2013 submission
Mirror of packages-base repository. DO NOT SUBMIT PULL REQUESTS HERE
Mirror of packages-directory repository. DO NOT SUBMIT PULL REQUESTS HERE
Mirror of packages-random repository. DO NOT SUBMIT PULL REQUESTS HERE
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.