Pinned Repositories
base
Conversion between 8-bit data and various ASCII-based encodings.
fxprog
Tools to program Cypress EZ-USB FX2/FX3 devices + low-level USB communication
geode-lx
Linux KMS driver for the Geode LX
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
libltl2ba
A library-fied version of ltl2ba
smlp
Symbolic ML Prover
ssd1963
C Library to talk to SSD1963 display controllers.
ssd1963_fb
Linux framebuffer driver for SSD1963 controlled LCDs
fbrausse's Repositories
fbrausse/iRRAM
Exact real arithmetic in C++
fbrausse/iRRAM-bigsteps
Exact Real Arithmetic solver for polynomial initial value problems using iRRAM
fbrausse/fxprog
Tools to program Cypress EZ-USB FX2/FX3 devices + low-level USB communication
fbrausse/smlp
Symbolic ML Prover
fbrausse/base
Conversion between 8-bit data and various ASCII-based encodings.
fbrausse/geode-lx
Linux KMS driver for the Geode LX
fbrausse/gkrellm-gkfreq
Displays CPU's current frequencies in gkrellm2
fbrausse/ksat
SAT solver in C++ inspired by MiniSAT
fbrausse/mpdas
MPD AudioScrobbler written in C++ using libcurl
fbrausse/cclerical
Tools for parsing and translating the Clerical language
fbrausse/kirk
Kommon Interface for Real Kommunication: lcd-rep(Reals in Exact Real Computations)
fbrausse/libltl2ba
A library-fied version of ltl2ba
fbrausse/AirlineTycoon
Source code of Airline Tycoon based on the GOG source code release
fbrausse/axc
Client lib for libsignal-protocol-c. Implements the necessary interfaces using gcrypt and SQLite.
fbrausse/esbmc
The efficient SMT-based bounded model checker
fbrausse/facil.io
Your high performance web application C framework
fbrausse/fdf
find duplicate files
fbrausse/flyspeck
The formal proof of the Kepler conjecture
fbrausse/fx2
fbrausse/kay
Provides types Z and Q based on flint and gmpxx, ""_Z literals; FNV1-based hashing, and generic pairs via bitfields.
fbrausse/kjson
JSON parser in C assuming the input string is writeable, focussing on speed and portability.
fbrausse/korad
Command-line tool talking to Korad KD3005P programmable DC power supplies.
fbrausse/ksc
C Library with Python bindings to access the service API of the Signal messenger
fbrausse/libsignal-protocol-c
Signal Protocol C Library
fbrausse/minisat
A minimalistic and high-performance SAT solver
fbrausse/portage-overlay-koh
KoH's Gentoo portage overlay
fbrausse/rlzrs
basic realizability for Coq
fbrausse/scli
a simple terminal user interface for signal messenger (using signal-cli)
fbrausse/signal-cli
signal-cli (formerly textsecure-cli) provides a commandline and dbus interface for signalapp/libsignal-service-java
fbrausse/smtlib2parser
Parser for SMT-LIB v2 language in Flex/Bison/C99