christopherbrix Goto Github PK
Name: Christopher Brix
Type: User
Bio: PhD student at RWTH Aachen University, Germany. I'm focusing on the verification of neural networks.
Location: Aachen, Germany
Blog: www.christopher-brix.de
Name: Christopher Brix
Type: User
Bio: PhD student at RWTH Aachen University, Germany. I'm focusing on the verification of neural networks.
Location: Aachen, Germany
Blog: www.christopher-brix.de
Contains fixes for bugs caused by the combination of AngularJS and Bootstrap
Test app
A Theano framework for building and training neural networks
The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
The official workaround of the viewport bug of IE 10.0 for the bootstrap 3.
Dafny is a verification-aware programming language
Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs
Pipeline is an asset packaging library for Django.
Enhanced elevateZoom - A jQuery image zoom plugin
Lisbon Machine Learning Summer School Lab Guide
Machine Learning applied to Natural Language Processing Toolkit used in the Lisbon Machine Learning Summer School
MetaRoom Benchmark in VNN-COMP 2023
Models and examples built with TensorFlow
The released code of Neurify in NIPS 2018
Neural Network Enumeration Tool
The RWTH extensible training framework for universal recurrent neural networks
Amazon SageMaker Debugger provides functionality to save tensors during training of machine learning jobs and analyze those tensors
A Workflow Manager in Python
Test
Theano is a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. It can use GPUs and perform efficient symbolic differentiation.
Effortlessly re-map click events to touch events on touchscreen UIs
The VeriNet toolkit for verification of neural networks
This is the SSN benchmark for vnn comp 2022.
Benchmarks for the VNN Comp 2022
Benchmarks for the VNN Comp 2023
Results of the VNN-COMP'23
Code for the automation of the VNN-COMP, used in 2022
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.