-
University of Tartu
- Estonia
-
10:17
(UTC +03:00) - https://sim642.eu
- https://orcid.org/0000-0003-4553-1350
Highlights
Lists (6)
Sort Name ascending (A-Z)
Stars
🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
🐶 Suggests any code changes based on diff through GitHub Multi-line code suggestions by using reviewdog
A simple state-machine framework for OCaml based on QCheck
A library for quickchecking lattice modules and associated operations
A utility for fetching minimal macOS libc headers
A set of functional collections created, ported and modified for my tak at NE Scala 2011
MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
A (very) simple UI lib built on top of OpenCV drawing primitives
Extra Compose mappings to input an irritatingly large number of Unicode symbols under X.
Cross-platform library for 6DoF tracking of the PS Move Motion Controller. Sensor fusion, computer vision, ambient display (LED orb).
Glances an Eye on your system. A top/htop alternative for GNU/Linux, BSD, Mac OS and Windows operating systems.
An uroboros program with 100+ programming languages