8 search results for "author:"Guillaume Bury <guillaume.bury@gmail.com>""
Showing 1 - 8
-
A parser library for automated deductionGuillaume <guillaume. @gmail.com>0.9BSD-2-ClauseUsed by 7 other packages06 Jul 2023
-
A linter for logic languagesGuillaume <guillaume. @gmail.com>0.9BSD-2-ClauseUsed by 0 other packages06 Jul 2023
-
A tool library for automated deduction toolsGuillaume <guillaume. @gmail.com>0.9BSD-2-ClauseUsed by 4 other packages06 Jul 2023
-
A LSP server for automated deduction languagesGuillaume <guillaume. @gmail.com>0.9BSD-2-ClauseUsed by 0 other packages06 Jul 2023
-
A model checker for automated deduction languagesGuillaume <guillaume. @gmail.com>0.9BSD-2-ClauseUsed by 1 other packages06 Jul 2023
-
A typechecker for automated deduction languagesGuillaume <guillaume. @gmail.com>0.9BSD-2-ClauseUsed by 4 other packages06 Jul 2023
-
A small library to inspect memory representation of ocaml valuesGuillaume <guillaume. @gmail.com> Armaël Guéneau <armael.gueneau@ens-lyon.org>1.0MITUsed by 1 other packages31 Jan 2023
-
Display the representation of memory values in the Kitty terminal emulatorGuillaume <guillaume. @gmail.com> Armaël Guéneau <armael.gueneau@ens-lyon.org>1.0MITUsed by 0 other packages31 Jan 2023