Beast code in Giters

Mark S. Baranowski's repositories

boogie

Boogie

Language:C#MIT000

cs6110

Language:C++020

cs6510

Language:RacketNOASSERTION010

FPBenchParser

A Python parser for the FPBench format

Language:PythonMIT020

Gklee

GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs

Language:C++010

cs_5460

Language:C010

cs_6340

Language:Python010

cs_6810

Language:TeX000

dreal4

SMT Solver for Nonlinear Theories of Reals

Apache-2.0000

ember

Language:PythonUnlicense010

f16equiv

Perform equivalence checking with SMACK on half-rs: a 16-bit floating-point Rust implementation

Language:CMIT020

FFmpeg

mirror of git://source.ffmpeg.org/ffmpeg.git

Language:CNOASSERTION000

GAOL

GAOL is not Just Another Interval Arithmetic Library

Language:C++NOASSERTION000

gelpia-cs6230

Global function optimizer based on branch and bound for noncontinuous functions.

Language:PythonMIT000

gelpia_presentation

000

libm

A port of MUSL's libm to Rust.

Language:RustApache-2.0000

Original-Prusa-i3

Original Prusa i3 MK2 3D printer printed parts

GPL-2.0000

pysmt

pySMT: A library for SMT formulae manipulation and solving

Language:PythonApache-2.0000

QuiteunFIniSheD

MIT010

re-deriv

Language:Python010

reproducibility_paper

Language:TeX000

rust-src-test

Language:HTML000

smack

SMACK: A Bounded Software Verifier for C Programs

Language:CNOASSERTION000

smack-cargo

A cargo instrumentation wrapper to enable verification of Rust projects in SMACK

MIT000

smack_rust_tests

Tests for verifying rust in smack

Language:LLVM000

smt-nnet

Language:PythonUnlicense020