bergfi

followers

0

following

stars

Freark van der Berg's repositories

hashmap

High-Performance Concurrent Hash Maps

Language:C++5 2 2

llmc

LLMC is a multi-core model checker of LLVM IR. It translates the input LLVM IR into a model LLVM IR that implements the DMC API, the API of the model checker DMC. This allows LLMC to execute the model's next-state function, instead of interpreting the input LLVM IR, enabling speedups of orders of magnitude.

Language:C++GPL-3.03 4 13

dmc

DMC Model checker is a modular model checker with a model-agnostic API for state space exploration.

Language:C++GPL-3.0200

libfrugi

Useful library

Language:C++BSD-3-Clause2 3 2

dtree

Language:C++1 20

cmake

Official mirror of git.bro.org/cmake.git

Language:CMakeNOASSERTION000

codelite

CodeLite, a cross platform C/C++/PHP and Node.js IDE written in C++

Language:C++GPL-2.0000

ltsmin

The LTSmin model checking toolset

Language:CBSD-3-Clause000

DIV-Games-Studio

Complete cross platform games development package, originally for DOS but now available on modern platforms.

Language:C000

graph

Boost.org graph module

Language:C++020

llmc_artifact_cav2021

Language:PythonGPL-3.0020

milight_decoding

Scripts and packet captures for reverse-engineering the new Milight protocol

Language:Ruby000

openmili

Open implementation of the Mi-Light 2.4GHz LED light control protocol

Language:C++GPL-3.0020

plasma-pa

Plasma applet for audio volume management using PulseAudio

Language:C++NOASSERTION020

texstudio

TeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.

Language:C++000