marcusvoelker Goto Github PK
Name: Marcus Völker
Type: User
Location: Germany
Name: Marcus Völker
Type: User
Location: Germany
Satisfiability Checker in Haskell
Advent of Code
Automatic reruns of pdflatex
A C++ header-only HTTP/HTTPS server and client library
The purpose of this tool is to generate world as seen in Minecraft or Terraria. However, instead of being a specified world generator only suited to a specific task, this world generator includes a world description language that allows the user to fully specify the features of the created world.
Clock and Exchange calendar for the command line
As fast as possible expression evaluation in C#, with support for algorithmic differentiation and range prediction
Persistent GHC-powered background server for FAST haskell development tools
Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
Continuations-based Parser Library for Haskell
Helpers for various math problems
Esoteric Programming language based on µ-recursive functions
Ideas for a programming language. Implemented in Haskell
Vector graphics of riichi mahjong tiles
Roguelike in C#
Esoteric Programming language similar to Brainfuck
An engine for making text adventures, written in Haskell
Esoteric programming language based on Loop programs and the Kleene T predicate
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.