timhabermaas Goto Github PK
Name: Tim Habermaas
Type: User
Location: Freiburg, Germany
Name: Tim Habermaas
Type: User
Location: Freiburg, Germany
Haskell solutions for http://adventofcode.com/2017
Algebraic effects for Ruby
https://adventofcode.com/2021
A type-safe, non-TH Haskell SQL library and ORM
Architecture Playground - inspired by https://cuttingedge.it/blogs/steven/pivot/entry.php?id=91
The Compose specification
Track your Rubik's Cube solves and compare them to other speedcubers.
A general way to consume input using applicative functors
Composable decoding library in the spirit of Json.Decode from Elm
Registration web app for the juggling convention in Freiburg
A parser for Facebook's GraphQL written in Haskell
Web App written in AngularJS for http://www.hgr-musical.de
http://www.seas.upenn.edu/~cis194/lectures.html
Registration web app for a juggling convention in Herxheim
Clean, responsive, single-page Hugo website theme.
Standard containers, with keys that carry type-level proofs of their own presence.
Simple interpreter for Mima Assembler
Type-safe, printf-style formatting for PureScript
ruby_effects is a Ruby implementation of the freer Haskell package. The general idea is to represent effects as values and use interpreters to translate these effects into actual side-effects.
Ruby gem which provides scrambles for several puzzles.
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.