Pinned Repositories
analyzer
Static analysis framework for C
adventofcode
Advent of Code solutions of 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023 and 2024 in Scala
epl-unscramble
EPL tasuliste artiklite tõenäosuslik dešifreerija
odep
Dependency graphs for OCaml modules, libraries and packages
openbose
Bose Connect reverse-engineered
whatpulse
WhatPulse reverse engineered
weechat
The extensible chat client.
sim642's Repositories
sim642/adventofcode
Advent of Code solutions of 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023 and 2024 in Scala
sim642/odep
Dependency graphs for OCaml modules, libraries and packages
sim642/dune-lint-demo
OCaml dune linting demos
sim642/ppx_easy_deriving
Easily define PPX derivers without boilerplate and runtime overhead
sim642/ppx_deriving_hash
[@@deriving hash]
sim642/regex-crossword
sim642/unitartucs-thesis-template
Modernized (unofficial) LaTeX template for bachelor's and master's thesis at University of Tartu Institute of Computer Science
sim642/FLL-scorer
FIRST LEGO League Robot Game scoring tool
sim642/al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
sim642/apron
Apron Numerical Abstract Domain Library
sim642/awesome-advent-of-code
A collection of awesome resources related to the yearly Advent of Code challenge.
sim642/batteries-included
Batteries Included project
sim642/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
sim642/blog-giscus
sim642/camlidl
Stub code generator for OCaml/C interface
sim642/Deagle
sim642/duet
Duet: static analysis for unbounded concurrency
sim642/gitinfo2
gitinfo2: Use git repository metadata in LaTeX documents
sim642/jsoo-react
js_of_ocaml bindings for ReactJS. Based on ReasonReact.
sim642/ocaml
The core OCaml system: compilers, runtime system, base libraries
sim642/ocaml-custom-identifier
sim642/ocamlgraph
OCaml graph library
sim642/opam-repository
Main public package repository for opam, the source package manager of OCaml.
sim642/ppx_deriving
Type-driven code generation for OCaml
sim642/ppx_deriving_yojson
A Yojson codec generator for OCaml.
sim642/ppxlib
Base library and tools for ppx rewriters
sim642/sv-sanitizers
SV-COMP wrapper for sanitizers
sim642/svcomp-scripts
sim642/tplink-api
sim642/user-documentation
User documentation of JabRef