Skip to content
View Gbury's full-sized avatar

Block or report Gbury

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

Pinned Loading

  1. dolmen Public

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

    OCaml 84 18

  2. mSAT Public

    A modular sat/smt solver with proof output.

    OCaml 99 8

  3. archsat Public

    A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

    OCaml 27 5

  4. ocaml-memgraph Public

    A small library to output memory graph for ocaml values

    OCaml 37 3

  5. sneeuwballen/benchpress Public

    Testing and benchmarking tool for logic-related programs.

    OCaml 26 8

  6. c-cube/qcheck Public

    QuickCheck inspired property-based testing for OCaml.

    OCaml 368 41

161 contributions in the last year

Contribution Graph
Day of Week March April May June July August September October November December January February March
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Contribution activity

March 2025

Created a pull request in ocaml-flambda/flambda-backend that received 5 comments

Fix bug in lazy pattern matching

In some situations (i.e. with specialization), flambda2 might propagate too much information during lazy pattern matching. Consider a pattern match…

+144 −22 lines changed 5 comments
Opened 3 other pull requests in 1 repository
Gbury/dolmen 3 merged
Reviewed 11 pull requests in 3 repositories

Created an issue in Gbury/dolmen that received 1 comment

Remoe the Typer's addition builtins following the merge of Extensions/Plugins

With the notion of Extensions/Plugins from #214 , the additional_builtins of the Typer module is redundant and can be removed. However it would not…

1 comment
Opened 2 other issues in 2 repositories
Loading