Skip to content
View keram88's full-sized avatar
13 followers · 11 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report keram88

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

  • faial-tutorial-example Public

    Forked from cogumbreiro/faial-tutorial

    A tutorial on how to use `faial`.

    Cuda MIT License Updated Mar 4, 2025

  • mma Public

    Cuda Updated Feb 3, 2025

  • libm-equiv Public

    Equivalence checking of musl libm translated to Rust

    C Updated Oct 22, 2024

  • libm Public

    Forked from rust-lang/libm

    A port of MUSL's libm to Rust.

    Rust Apache License 2.0 Updated Oct 31, 2023

  • Original-Prusa-i3 Public

    Forked from prusa3d/Original-Prusa-i3

    Original Prusa i3 MK2 3D printer printed parts

    OpenSCAD GNU General Public License v2.0 Updated Oct 19, 2021

  • rust-src-test Public

    HTML Updated Oct 6, 2021

  • dreal4 Public

    Forked from dreal/dreal4

    SMT Solver for Nonlinear Theories of Reals

    SMT Apache License 2.0 Updated Jun 4, 2020

  • GAOL Public

    Forked from goualard-f/GAOL

    GAOL is not Just Another Interval Arithmetic Library

    C++ Other Updated May 10, 2020

  • boogie Public

    Forked from boogie-org/boogie

    Boogie

    C# MIT License Updated Feb 10, 2020

  • pysmt Public

    Forked from pysmt/pysmt

    pySMT: A library for SMT formulae manipulation and solving

    Python Apache License 2.0 Updated Nov 20, 2019

  • ember Public

    Python The Unlicense Updated Sep 26, 2019

  • f16equiv Public

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

    C MIT License Updated May 13, 2019

  • smack-cargo Public

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

    MIT License Updated May 7, 2019

  • smt-nnet Public

    Python The Unlicense Updated Oct 21, 2018

  • cs_5460 Public

    C Updated Apr 28, 2018

  • cs_6810 Public

    TeX Updated Apr 19, 2018

  • cs6510 Public

    Racket 1 Other Updated Mar 27, 2018

  • smack Public archive

    Forked from smackers/smack

    SMACK: A Bounded Software Verifier for C Programs

    C Other Updated Jan 29, 2018

  • cs_6340 Public

    Python Updated Oct 26, 2017

  • FPBenchParser Public

    A Python parser for the FPBench format

    Python 1 MIT License Updated Sep 13, 2017

  • reproducibility_paper Public

    TeX 1 Updated Jun 26, 2017

  • QuiteunFIniSheD Public

    MIT License Updated Jun 5, 2017

  • gelpia-cs6230 Public

    Forked from soarlab/gelpia

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

    Python MIT License Updated Apr 26, 2017

  • re-deriv Public

    Python Updated Apr 13, 2017

  • smack_rust_tests Public

    Tests for verifying rust in smack

    LLVM Updated Apr 14, 2016

  • cs6110 Public

    C++ Updated Mar 6, 2016

  • gelpia_presentation Public

    Updated Dec 4, 2015

  • Gklee Public

    Forked from lipeng28/Gklee

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

    C++ Updated Jun 12, 2014

  • FFmpeg Public

    Forked from FFmpeg/FFmpeg

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

    C Other Updated Feb 27, 2014