marcbehrens Goto Github PK
Name: Marc KRM Behrens
Type: User
Company: Deutsche Bahn Projekt Stuttgart-Ulm
Location: Braunschweig
Blog: http://www.bahnprojekt-stuttgart-ulm.de/ueber-uns/db-projekt-stuttgart-ulm/
Marc KRM Behrens's Projects
atg
datadictionary-1
This repository is the container for the openETCS data dictionary
developer.github.com
GitHub Developer site
dissemination
WP6: Top Level Project for openETCS dissemination activities
ecosystem
openECTS Ecosystem
elasticsearch-mapper-attachments
Mapper Attachments Type plugin for Elasticsearch
ertmsformalspecs
ERTMSFormalSpecs provides a domain-specific language, designed to express the ERTMS specification in a concise and verifiable formal representation. It is understandable by domain specialists while retaining the ability to be translated to executable representations by fully automated means.
freecad
This is the official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler
governance
part of WP1: information needed to run project management in openetcs
internal-assessment
part of WP4: activities for internal assessor task
keymaera-release
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems
keymaerax-release
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (release)
modeling
WP3 Top Level Project: to cover all tasks related with modeling
openrailwaymap
An OpenStreetMap-based project for creating a map of the world's railway infrastructure.
raspberry-pi-os
Learning operating system development using Linux kernel and Raspberry Pi
scrumdo
ScrumDo Agile Story Tracking Website
sensorkit
SensorKit is a library and a set of tools for sensors and machine learning
srs-analysis-1
WP3 Repositories for SysML modelling of the SRS
ssrs
task related activities related to Sub-Systems Requirement Specification (SSRS)
toolchain-1
WP7: Top Level Project for the toolchain
validation
WP4: Validation and verification strategy
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.