Name: Pascal Wittmann
Type: User
Company: @red6 enterprise software
Location: Hamburg, Germany
I am a software developer from Hamburg, Germany. My focus is the backend. However, I do not mind taking a glimpse into the frontend from time to time.
Some facts about me:
hackaru-desktop
Hackaru for desktop
hackaru-timeular
Track your time with the Timeular cube and Hackaru
hackaru-web
An web server for Hackaru
haskell-couchdb
Haskell bindings for CouchDB
haskell-mode
Emacs mode for Haskell
haskellvcswrapper
howoldis
Little web app displaying the age of the last NixOS channels
hwebui
Haskell User Interface Library
ia-task-configuration
information-flow-agda
An Agda implementation of information flow security properties and type systems. Inspired by this course http://www.mais.informatik.tu-darmstadt.de/proganalysis-ws1213
ispc
Intel SPMD Program Compiler
jaspervdj
Source code of my personal home page.
javadoc-publisher.yml
Generate Javadoc from your maven project and deploy it with GitHub Page.
jbehave-core
jib-container-publish.yml
GitHub Actions for your Java project to build container with jib and publish it to GitHub Packages.
libattr-hs
bindings to libattr for haskell
lint-review
An automated code linting bot that integrates various code lint tools with github pull requests.
master-thesis
A Language for the Specification and Efficient Implementation of Type Systems
metaborg-pcf
Definition of the PCF language in Spoofax
mu
maildir indexer/searcher + emacs mail client + guile bindings
nexus-actions-demo
Avoid split staging repos when publishing to Maven Central
nix
Nix, the purely functional package manager
nix-eclipse
Nix Eclipse plugin
nix-idea
Nix plugin for the IntelliJ IDEA IDE
nix-rice
http://www.reddit.com/r/NixOS/comments/3544gi/nix_runixporn/
nixops
NixOps, the NixOS-based cloud deployment tool
nixos
NixOS, a Linux distribution based on the Nix package manager
nixos-homepage
Sources for nixos.org
nixpkgs
Nix Packages collection
nixpkgs-fmt
Nix code formatter for nixpkgs [maintainer=@zimbatm]
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.
