marcoeilers Goto Github PK
Name: Marco Eilers
Type: User
Company: ETH Zürich
Name: Marco Eilers
Type: User
Company: ETH Zürich
Advanced Programming 2012 @ DIKU
Automatic Program Analysis 2013 @ CS UU
Boogie
Companion repository with the artifacts to the Casino case study
Data from the evaluation of the CAV 2024 paper "Verification Algorithms for Automated Separation Logic Verifiers"
Dependently Typed Programming 2013 @ CS UU
Friendly jpype fork with focus on easy installation.
Multi Agent Programming 2013 @ CS UU
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
PyCharm plugin for Nagini
Principles of Computer System Design 2012 @ DIKU
Poker engine for poker AI development in Python
SCION Internet Architecture
Symbolic-execution-based verifier for the Viper intermediate verification language.
Definition of the Viper intermediate verification language.
Silver version based on krantikiran_flows_parser_plugin with custom changes
Statistical Methods for Machine Learning 2012 @ DIKU
The VerCors verification toolset for verifying parallel and concurrent software
Just-for-fun implementation of a compiler from Xtend2 source to JVM bytecode
An active annotation enabling reified generics in Xtend
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.