Pinned Repositories
DisCODe
DisCODe - Distributed Component Oriented Data Processing
formal-numerics
Ada/SPARK formal numerics package
jpar
Parallel extenstion to Matlab using Java
libcan
temporary repository for existing ETHZ-ASL CAN library
libepos
temporary repository for existing ETHZ-ASL EPOS library
mrrocpp
Multi-Robot Research Oriented Controller
spark-navigation
Robot navigation algorithms implemented in SPARK
subsumption
Subsumption robot control architecture workbench
tilemap
Tile Map Viewer
voronoi
Tool for computing Voronoi path for a mobile robot
ptroja's Repositories
ptroja/spark-navigation
Robot navigation algorithms implemented in SPARK
ptroja/formal-numerics
Ada/SPARK formal numerics package
ptroja/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.
ptroja/ada-mode
Fork of the ada-mode-4.00 from Emacs
ptroja/ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
ptroja/ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
ptroja/BasisLibrary
Repository and Wiki for enriching the Standard ML Basis Library
ptroja/BToolkit
The BToolkit, a toolkit supporting software development with the B-method.
ptroja/cl-lex
Common Lisp macros for generating lexical analyzers automatically
ptroja/contributing-howto
Guidelines for contributing to AdaCore's repositories
ptroja/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
ptroja/flim
FLIM Development Repository for Wanderlust
ptroja/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
ptroja/lastpass-cli
LastPass command line interface tool
ptroja/libtrading
Libtrading, an ultra low-latency trading connectivity library for C and C++.
ptroja/libzmq
ZeroMQ core engine in C++, implements ZMTP/3.0
ptroja/mel-base
A versatile mail library for common lisp
ptroja/mu
maildir indexer/searcher + emacs mail client + guile bindings
ptroja/Ntimed
Network time synchronization software, NTPD replacement.
ptroja/ocaml-imap
Non-blocking IMAP4rev1 client library for OCaml
ptroja/ocamlgraph
OCaml graph library
ptroja/pp
ProofPower is an open source suite of tools for specification and proof in HOL and Z.
ptroja/pp-contrib
pp-contrib is a collection of contributed examples and tools for ProofPower users.
ptroja/PVS
ptroja/simh
The Computer History Simulation Project
ptroja/spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
ptroja/STOTP
SPARK TOTP library
ptroja/the_silver_searcher
A code-searching tool similar to ack, but faster.
ptroja/tree-sitter-ada
Ada grammar for tree-sitter
ptroja/wanderlust
Wanderlust Development Repository