Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View Halbaroth's full-sized avatar

Block or report Halbaroth

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
Showing results

Record and Replay Framework

C++ 10,183 640 Updated Oct 14, 2025

print nested boxes, lists, arrays, tables in several formats

OCaml 80 10 Updated May 14, 2025
Rust 743 46 Updated Oct 20, 2025

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Rust 10,933 278 Updated Oct 24, 2025

CaDiCaL SAT Solver

C++ 488 159 Updated Oct 24, 2025

Test suite to help you write your own C compiler

C 893 99 Updated Oct 11, 2023

Concurrent Programming with Effect Handlers

OCaml 699 38 Updated Jul 5, 2024
Mathematica 1 Updated Jan 24, 2023

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

OCaml 88 20 Updated Sep 9, 2025