01mf02 Goto Github PK
Name: Michael Färber
Type: User
Location: Innsbruck
Blog: http://gedenkt.at
Name: Michael Färber
Type: User
Location: Innsbruck
Blog: http://gedenkt.at
Website
Research notebook for my project in Amsterdam
Biologisch inspirierte Optimierungstechniken
Pretty printer for non-overlapping code spans
Material for the lecture "Computability Theory", WS2014/15 @ UIBK
A cleaned version of the book "Computers in Spaceflight: The NASA Experience"
Connection provers in Rust
Elm experiments
Sources of the EuroProofNet web site.
High-fidelity JSON lexer and parser
Solutions for the "Interactive Theorem Proving" course, UIBK SS 2015
Isabelle integration of leanCoP
A jq clone focussed on correctness, speed, and simplicity
Formal specification of the jq language
Alternative implementation of the logical framework Dedukti
Alternative implementation of the logical framework Dedukti in Rust
Parsers for lambda terms
Multi-threaded lazy evaluation in Rust
Single-threaded lazy evaluation in Rust
Files for the Léa compiler
Building blocks for module systems
Nix Packages collection
PhD diary
Pandoc filters for scientific writing
Parser Combinators for Unique Results
Haskell solutions for Project Euler problems
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.