koflerdavid Goto Github PK
Name: David Kofler
Type: User
Location: Vienna, Austria
Name: David Kofler
Type: User
Location: Vienna, Austria
Emacs configuration, to be able to use it everywhere and to share with the community
BraincraftedBootstrapBundle integrates Bootstrap into Symfony2 by providing templates, Twig extensions, services and commands.
PHP Parser for CAMT messages
Cross platform audio library
Your own wikipedia server in a box.
Space exploration, trading, and combat game.
A tool to use the inference rules of equational logic on terms.
Monoidal, monadic and first-class events.
A demo project that implements a simple message board using DDD, CDI and the Helidon MP Framework.
A simple text editor implemented with a Elm-like framework.
Client library for haskell-lsp
A functionally reactive game engine, with headgear to protect you from the headache of game development provided.
A simple tool which displays the classes contained in the JAR archives in a directory.
Haskell library for the Microsoft Language Server Protocol
Reimplementations of algorithms for the CL master seminar
GTK+ for node
Code to set up my linux box after a fresh install
SASAbus is an Android application to consult the bus schedule of the cities of Bozen/Bolzano, Meran/Merano and Leifers/Laives (South Tyrol, Italy). SASAbus is Free Software under the GNU GPLv3 licence.
Programming Lab: Innovative Interaktion, Visualisierung und Analyse
ST based union find data structure
Yices as a Docker image
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.