emmanuel099 Goto Github PK

ciao

Ciao is a general purpose, multi-paradigm programming language in the Prolog family

docker-ciao

Docker image for Ciao-System

docker-spectector

Docker image for Spectector

dolphin

KDE File Manager

falcon

Formal Binary Analysis Framework in Rust

goblin

An impish, cross-platform binary parsing crate, written in Rust

grafana-flightsql-datasource

Grafana plugin for Flight SQL APIs.

grafana-trino

The Trino datasource allows to query and visualize Trino data from within Grafana.

kio-adb

adb kioslave

libminizinc

The MiniZinc compiler

linux

Linux kernel source tree

marble

Marble is a Virtual Globe and World Atlas that you can use to learn more about Earth: You can pan and zoom around and you can look up places and roads. A mouse click on a place label will provide the respective Wikipedia article.

minizincide

mockery

A mock code autogenerator for Golang

mpp17

Skip List Project

muasm-parser

µASM Parser in Rust

networkmanager-l2tp

L2TP support for NetworkManager

node-red

A visual tool for wiring the Internet of Things

opentelemetry-collector-contrib

Contrib repository for the OpenTelemetry Collector

par15

Introduction to Parallel Computing - TU Wien WS2015/16

progfun-wiki

proton

Compatibility tool for Steam Play based on Wine and additional components

rsmt2

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

shrust

Rust library to create interactive command line shells

specbmc

Bounded model checker for speculative non-interference.

specgraph

Tool for visualizing Spectector traces.

sqlboiler

Generate a Go ORM tailored to your database schema.

trino

Official repository of Trino, the distributed SQL query engine for big data, formerly known as PrestoSQL (https://trino.io)

validator

Simple validation for Rust structs

wiringpi

Gordon's Arduino wiring-like WiringPi Library for the Raspberry Pi