Skip to content
View fbrausse's full-sized avatar
28 followers · 5 following

Block or report fbrausse

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • smlp Public

    Symbolic ML Prover

    Python 4 1 Apache License 2.0 Updated Mar 5, 2025

  • portage-overlay-koh Public

    KoH's Gentoo portage overlay

    Shell Updated Feb 25, 2025

  • kay Public

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

    C++ Other Updated Dec 19, 2024

  • geode-lx Public

    Linux KMS driver for the Geode LX

    C 1 GNU General Public License v2.0 Updated May 24, 2024

  • libltl2ba Public

    Forked from esbmc/libltl2ba

    A library-fied version of ltl2ba

    C GNU General Public License v2.0 Updated Apr 19, 2024

  • esbmc Public

    Forked from esbmc/esbmc

    The efficient SMT-based bounded model checker

    C Other Updated Dec 22, 2023

  • iRRAM Public

    Forked from norbert-mueller/iRRAM

    Exact real arithmetic in C++

    exact-reals
    C++ 9 5 Other Updated May 17, 2023

  • AirlineTycoon Public

    Forked from openairlinetycoon/AirlineTycoon

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

    C++ Other Updated Nov 13, 2022

  • fdf Public

    find duplicate files

    C Updated Aug 2, 2022

  • korad Public

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

    C Do What The F*ck You Want To Public License Updated Feb 18, 2022

  • base Public

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

    Haskell 1 BSD 2-Clause "Simplified" License Updated Feb 15, 2022

  • mpdas Public

    Forked from hrkfdn/mpdas

    MPD AudioScrobbler written in C++ using libcurl

    C++ 1 Other Updated Jan 20, 2022

  • kjson Public

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

    C BSD 3-Clause "New" or "Revised" License Updated Sep 29, 2021

  • facil.io Public

    Forked from boazsegev/facil.io

    Your high performance web application C framework

    C MIT License Updated Nov 4, 2020

  • ksc Public

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

    C GNU General Public License v3.0 Updated Nov 1, 2020

  • fx2 Public

    C Updated Jul 12, 2020

  • ksat Public

    SAT solver in C++ inspired by MiniSAT

    C++ 1 BSD 2-Clause "Simplified" License Updated Oct 7, 2019

  • fxprog Public

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

    C 4 4 MIT License Updated Oct 2, 2019

  • libsignal-protocol-c Public

    Forked from signalapp/libsignal-protocol-c

    Signal Protocol C Library

    C GNU General Public License v3.0 Updated Aug 27, 2019

  • scli Public

    Forked from isamert/scli

    a simple terminal user interface for signal messenger (using signal-cli)

    Python GNU General Public License v3.0 Updated Aug 9, 2019

  • signal-cli Public

    Forked from AsamK/signal-cli

    signal-cli (formerly textsecure-cli) provides a commandline and dbus interface for signalapp/libsignal-service-java

    Java GNU General Public License v3.0 Updated Aug 4, 2019

  • axc Public

    Forked from gkdr/axc

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

    C GNU General Public License v3.0 Updated Aug 1, 2019

  • iRRAM-bigsteps Public

    Exact Real Arithmetic solver for polynomial initial value problems using iRRAM

    C++ 5 1 Updated Jun 14, 2019

  • gkrellm-gkfreq Public

    Displays CPU's current frequencies in gkrellm2

    C 1 GNU General Public License v2.0 Updated May 20, 2019

  • flyspeck Public

    Forked from flyspeck/flyspeck

    The formal proof of the Kepler conjecture

    Standard ML MIT License Updated May 1, 2019

  • minisat Public

    Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    C++ Other Updated Apr 14, 2019

  • smtlib2parser Public

    Parser for SMT-LIB v2 language in Flex/Bison/C99

    C MIT License Updated Mar 28, 2019

  • kirk Public

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

    exact-reals
    C++ 1 BSD 3-Clause "New" or "Revised" License Updated Jan 12, 2019

  • rlzrs Public

    Forked from FlorianSteinberg/rlzrs

    basic realizability for Coq

    Coq Updated Nov 29, 2018

  • cclerical Public

    Tools for parsing and translating the Clerical language

    C 1 BSD 3-Clause "New" or "Revised" License Updated May 8, 2018