btj - Giters

Bart Jacobs's repositories

ogp-notes

Language:Shell39 60

ocaml-gtk

Language:PythonMIT7 3 6

jlearner

Visualize the execution of Java snippets in the browser

Language:JavaScript4 3 3

logicalcollections

Language:Java2 30

mymath_oop

Language:Java200

expressions

Language:Java1 30

interval-2023-2024

Language:Java1 20

interval_ir-2023-2024

Language:Java100

itoop

Artifacts for the Introduction to (Object-Oriented) Programming course

Language:Python100

mymath-2023-2024

Language:Java1 20

proof-outline-checker

A checker for Hoare logic proof outlines written as Python programs with assert statements

Language:TypeScriptMIT100

termios

Terminal I/O support library for Java

Language:Java1 30

timeofday-2023-2024

Language:Java1 20

backups

Language:Java000

browserify-sign

createSign and createVerify in your browser

Language:JavaScriptISC020

eclipse.jdt.core-1

Language:JavaEPL-2.0010

ghostsignals-coq

Language:Coq020

gobject-introspection

Language:CNOASSERTION000

hypertekst

Language:Java000

internetwerk

Language:Java000

internetwork

Language:Java000

interval_oop-2023-2024

Language:Java020

lijstiteratoren

Language:Java020

mi-notes

020

picospc

Language:JavaScript020

reservekopieen

Language:Java000

roads

Language:Java000

verifast

Research prototype tool for modular formal verification of C and Java programs

Language:OCamlNOASSERTION010

vf-rust-aliasing

000

wegennetwerk

Language:Java000