smunix Goto Github PK
Name: Providence Salumu
Type: User
Bio: Mad Scientist Math, Haskell and The Pursuit of Laziness
Twitter: slumshaddy
Location: Montréal
Name: Providence Salumu
Type: User
Bio: Mad Scientist Math, Haskell and The Pursuit of Laziness
Twitter: slumshaddy
Location: Montréal
MSc Thesis project Utrecht University + wgp10 paper.
State Monad, Transformers, Error Monad
Code example and slides for my talk in the Berlin Functional Programming Group
Solving the MU puzzle (https://en.wikipedia.org/wiki/MU_puzzle)
LLVM-based mutation testing for C and C++
Mustache template engine for D
Another Conky skin
An extended commonmark compliant parser, with bridges to docutils/sphinx
Haskell meets Zettelkasten, for your plain-text delight.
An emacs mode for editing Zettelkasten notes with neuron
:space_invader: NixOS configuration
nix utils
A wrapper tool for nix OpenGL application
Nix Packages collection
Flake for unfree packages in nix
easy 3d plotting in haskell
Experimental GitHub read-only mirror of ns-3 development repository, will be kept in sync with original Mercurial repository; pull requests not accepted at the moment
Holder for work with a bot friend from INT
NUR packages for nix
The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
easily build/pull hackage/stackage dependencies without network connectiong
Install Stack without internet access
Functional data structures in C++
Matching engine + order routing for limit orders
Type safe limit order book
Gentoo overlay
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
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.