co-dan Goto Github PK
Name: Daniel Frumin
Type: User
Location: Groningen
Name: Daniel Frumin
Type: User
Location: Groningen
D E R P ~~ this should contain my patches to hakyll
A 2D charting library for haskell
Haskell bindings for CouchDB
Haskell implementation of Mustache template
An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags.
homebrew
Homotopy type theory
snippin
Patches for HoTTClasses
Interactive-diagrams
Warn about uses of "it's" in a latex file.
Code, wiki, and resources for the weekly miniKanren uncourse
Miscellaneous constructions on monoids
Monokai for Emacs is a port of the popular TextMate theme Monokai by Wimer Hazenberg.
several HITs
Nix Packages collection
Formalisation of "Noninterference, Transitivity, and Channel-Control Security Policies" by J. Rushby
Lecture notes on realizability
Petri net tools for Haskell
Binding to the WiringPi library
Implementation of the ocaml.org website.
macOS MPD client written in Swift.
Persistence interface for Haskell allowing multiple storage methods.
A Proxy interface to the Internet Relay Chat
Programming Languages Zoo
Blog post previews in need of peer review
Mid-level client library for accessing PostgreSQL from 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.