yvc74

android-app

Android App

gatehouse

Gatehouse is a very simple server for sso based on json web tokens

taxi-app

v9

a2

Bluebottle OS

A2OS

Unofficial mirror of the ETH A2 repsitory

Awesome-Mobility-Machine-Learning-Contents

Machine Learning / Deep Learning Contents in Mobility Industry(Transportation)

cargo-transportation

Web application for commercial use.

cargo_transportation

CuBit

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

efa_monitor

EFA Monitoring system - a departure monitoring systems for all transportation services in Germany

elixir-boilerplate

⚗ The stable base upon which we build our Elixir projects at Mirego.

gitgud

GitHub clone entirely written in Elixir.

haiku

The Haiku operating system. (Pull requests will be ignored; patches may be sent to https://review.haiku-os.org).

matreshka

Matreshka is Ada framework to develop information systems

Mezzano

An operating system written in Common Lisp

native-oberon

Ready-to-run qemu disk images of Native Oberon 2.3.6 and Native Oberon 2003-01-05 (2.3.7Alpha?)

nerves

Craft and deploy bulletproof embedded software in Elixir

nerves_hub_web

Manage firmware updates for Nerves devices

Osmand

OsmAnd

osrm-backend-docker

Docker image for the Open Source Routing Machine (OSRM) osrm-backend

phone_verification

Elixir library for phone numbers verification

react-amp-template

AMP template generator

rose

Persistent capability-based kernel

Russian-Armstrong-Erlang

Совместный перевод книги Дж.Армстронга "Programming Erlang"

scoop

:icecream: micro framework for building view based modular Android applications.

torokernel

This repository contains the source code of toro kernel

transportation

node.js module to display and manipulate public transport data

uCargo_umbrella

Elixir umbrella app for uCargo Backend

vutuv

vutuv is a business network. Think of it as a fast, secure and less annoying open-source alternative for LinkedIn or XING.