fbrausse Goto Github PK

airlinetycoon

Source code of Airline Tycoon based on the GOG source code release

axc

Client lib for libsignal-protocol-c. Implements the necessary interfaces using gcrypt and SQLite.

base

Conversion between 8-bit data and various ASCII-based encodings.

bm

SDL2/OpenGL-2.1 based bouncing balls

c11threads

Trivial C11 threads.h implementation over POSIX threads.

cclerical

Tools for parsing and translating the Clerical language

cnf-keccak

Tools to handle Keccak collision/preimage problems via SAT

cnf-utils

Dimacs CNF utilities

esbmc

The efficient SMT-based bounded model checker

facil.io

Your high performance web application C framework

fdf

find duplicate files

flyspeck

The formal proof of the Kepler conjecture

fx2

fxprog

Tools to program Cypress EZ-USB FX2/FX3 devices + low-level USB communication

geode-lx

Linux KMS driver for the Geode LX

ger-tweet-opinion-miner

German Tweet Opinion Miner

gkrellm-gkfreq

Displays CPU's current frequencies in gkrellm2

irram

Exact real arithmetic in C++

irram-bigsteps

Exact Real Arithmetic solver for polynomial initial value problems using iRRAM

kay

Provides types Z and Q based on flint and gmpxx, ""_Z literals; FNV1-based hashing, and generic pairs via bitfields.

kirk

Kommon Interface for Real Kommunication: lcd-rep(Reals in Exact Real Computations)

kjson

JSON parser in C assuming the input string is writeable, focussing on speed and portability.

korad

Command-line tool talking to Korad KD3005P programmable DC power supplies.

ksat

SAT solver in C++ inspired by MiniSAT

ksc

C Library with Python bindings to access the service API of the Signal messenger

libsignal-protocol-c

Signal Protocol C Library

mar

MIME archiver

minisat

A minimalistic and high-performance SAT solver

mpdas

MPD AudioScrobbler written in C++ using libcurl

portage-overlay-koh

KoH's Gentoo portage overlay