about
news
blog
repositories (current)
publications
cv
teaching

repositories

A selection of my GitHub repositories.

OCaml

Maintainer

goblint/analyzer

goblint/analyzer

goblint/cil

goblint/cil

hackwaly/ocamlearlybird

hackwaly/ocamlearlybird

ocaml-batteries-team/batteries-included

ocaml-batteries-team/batteries-included

Author

sim642/odep

sim642/odep

sim642/ocaml-arg-complete

sim642/ocaml-arg-complete

sim642/ppx_deriving_hash

sim642/ppx_deriving_hash

sim642/ppx_viewpattern

sim642/ppx_viewpattern

sim642/ocaml-algebra

sim642/ocaml-algebra

Scala

sim642/adventofcode

sim642/adventofcode

sim642/algosmt

sim642/algosmt

Java

sim642/shy

sim642/shy

sim642/potatonet

sim642/potatonet

C++

sim642/AirTraffic

sim642/AirTraffic

sim642/Cryptex

sim642/Cryptex

Reverse engineering

sim642/whatpulse

sim642/whatpulse

sim642/openbose

sim642/openbose

Web

sim642/einstein-js

sim642/einstein-js

sim642/FLL-scorer

sim642/FLL-scorer

sim642/seeria

sim642/seeria

WeeChat

weechat/weechat

weechat/weechat

sim642/grep_filter

sim642/grep_filter

sim642/force_nick

sim642/force_nick

sim642/latex_unicode

sim642/latex_unicode

sim642/buffer_open

sim642/buffer_open

© Copyright 2024 Simmo Saan. Powered by Jekyll with Gem-based al-folio theme. Hosted by GitHub Pages. Last updated: November 14, 2024.