ptroja Goto Github PK

ada-mode

Fork of the ada-mode-4.00 from Emacs

ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

basislibrary

Repository and Wiki for enriching the Standard ML Basis Library

btoolkit

The BToolkit, a toolkit supporting software development with the B-method.

cl-lex

Common Lisp macros for generating lexical analyzers automatically

contributing-howto

Guidelines for contributing to AdaCore's repositories

control-modeler

MDE tools for robot control system design.

cvc4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

dcl_cvbasic

Basic OpenCV-based components

discode

DisCODe - Distributed Component Oriented Data Processing

discodecore

flim

FLIM Development Repository for Wanderlust

formal-numerics

Ada/SPARK formal numerics package

hol

Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

jpar

Parallel extenstion to Matlab using Java

lastpass-cli

LastPass command line interface tool

libcan

temporary repository for existing ETHZ-ASL CAN library

libepos

temporary repository for existing ETHZ-ASL EPOS library

libtrading

Libtrading, an ultra low-latency trading connectivity library for C and C++.

libzmq

ZeroMQ core engine in C++, implements ZMTP/3.0

mel-base

A versatile mail library for common lisp

mrrocpp

Multi-Robot Research Oriented Controller

mu

maildir indexer/searcher + emacs mail client + guile bindings

ntimed

Network time synchronization software, NTPD replacement.

ocaml-imap

Non-blocking IMAP4rev1 client library for OCaml

ocamlgraph

OCaml graph library

opam

OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

orocos-ocl

Orocos Component Library

orocos-rtt-qnx

Orocos Real-Time Toolkit