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
Christopher Brix's Projects
angular-bootstrap-fixes
Contains fixes for bugs caused by the combination of AngularJS and Bootstrap
angularjs
Test app
blocks
A Theano framework for building and training neural networks
bootstrap-nav-tabs-border-issue
The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
bootstrap3-ie10-viewport-bug-workaround
The official workaround of the viewport bug of IE 10.0 for the bootstrap 3.
dafny
Dafny is a verification-aware programming language
debona
Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs
django-pipeline
Pipeline is an asset packaging library for Django.
elevatezoom-plus
Enhanced elevateZoom - A jQuery image zoom plugin
lxmls-guide
Lisbon Machine Learning Summer School Lab Guide
lxmls-toolkit
Machine Learning applied to Natural Language Processing Toolkit used in the Lisbon Machine Learning Summer School
metaroom_vnn_comp2023
MetaRoom Benchmark in VNN-COMP 2023
models
Models and examples built with TensorFlow
neurify
The released code of Neurify in NIPS 2018
nnenum-test
Neural Network Enumeration Tool
returnn
The RWTH extensible training framework for universal recurrent neural networks
sagemaker-debugger
Amazon SageMaker Debugger provides functionality to save tensors during training of machine learning jobs and analyze those tensors
sisyphus
A Workflow Manager in Python
test
Test
theano
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.
touche
Effortlessly re-map click events to touch events on touchscreen UIs
verinet
The VeriNet toolkit for verification of neural networks
vnn-comp-2022-carvana-unet
This is the SSN benchmark for vnn comp 2022.
vnncomp2022_benchmarks
Benchmarks for the VNN Comp 2022
vnncomp2022_results
vnncomp2023
vnncomp2023_benchmarks
Benchmarks for the VNN Comp 2023
vnncomp2023_results
Results of the VNN-COMP'23
vnncomp_automation
Code for the automation of the VNN-COMP, used in 2022
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.