Simmo Saan

dead_code_analyzer. Dead-code analyzer for OCaml

ocamlmig. OCaml

jellyfin-plugin-localsubs. Subtitle provider plugin for local subtitle files on Jellyfin

fava-plugins. A collection of Beancount plugins

beancount-categorizer. Decorator for beancount importers, providing automatic categorization.

deadlockempire.github.io. The Deadlock Empire: Slay dragons, learn concurrency!

Inconsolata-LGC. Inconsolata LGC extension

macos-sdk. Apple's macOS SDKs

samply. Command-line sampling profiler for macOS, Linux, and Windows

rrdtool-1.x. RRDtool 1.x - Round Robin Database

QUICr. QUICr parametric abstract domain for sets

mlbdd. A not-quite-so-simple Binary Decision Diagrams implementation for OCaml

SETr. Abstract domain library for sets

ppx_js_style. Code style checker for Jane Street Packages

bene-gesselint. A secret project to produce a Kwisatz Haderach, perfect OCaml code that would bridge time and space, through selective breeding and linting. But mostly linting.

zanuda. OCaml linter

camelot. A fully-modular OCaml style linter

ocamlregextkit. OCaml

lascar. An OCaml library for manipulating Labeled Transition Systems

opentraining-exercises. (Fitness) Exercises (.xml files and images), especially for the Android app Open Training.

pympress. Pympress is a simple yet powerful PDF reader designed for dual-screen presentations

SmartTube. Browse media content with your own rules on Android TV

ui. POC for a web ui

opentraining. Android App for planing your fitness training.

data. Empowering Fitness

ocaml-memgraph. A small library to output memory graph for ocaml values

simba. Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation

hercules. Gaining advanced insights from Git repository history.

git-of-theseus. Analyze how a Git repo grows over time

analyser. Analyser is a static analyser which finds errors and undefinded behaviors in C programs with inline assembly.

AAA528. AAA528 Computational Logic

Compilers2020. OCaml

sparrow. The Sparrow Static Analyzer

reviewdog. 🐶 Automated code review tool integrated with any code analysis tools regardless of programming language

action-suggester. :dog: Suggests any code changes based on diff through GitHub Multi-line code suggestions by using reviewdog

picasso. OCaml Library for the drawing of abstract elements (Polyhedra, Octagon, Boxes)

qcstm. A simple state-machine framework for OCaml based on QCheck

lcheck. A library for quickchecking lattice modules and associated operations

mutaml. An OCaml mutation tester

JCloisterZone. Java implementation of Carcassonne board game

AntennaPod. A podcast manager for Android

zenodo-upload. upload big files to Zenodo using cURL, jq and bash

pumping. Regular languages in types

SponsorBlock. Skip YouTube video sponsors (browser extension)

reanalyze. Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.

fetch-them-macos-headers. A utility for fetching minimal macOS libc headers

ppx_type_directed_value. Get [@@deriving]-style generation of type-directed values without writing a ppx

catala. Programming language for literate programming law specification

sherlocode. Realtime grep for OCaml/Coq sources available on opam

set-commit-status-action. GitHub Action to set commit status

nordpool. This component allows you to pull in the energy prices into Home-Assistant.

RefactorInsight. An IntelliJ IDEA plugin that detects refactorings in Git commits

kbd-audio. 🎤⌨️ Acoustic keyboard eavesdropping

aoc-ranking. Visualize the ranking over time of an Advent of Code private leaderboard.

extreme-cleverness. A set of functional collections created, ported and modified for my tak at NE Scala 2011

byrne-euclid. MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"

curryhoward. Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

type-systems. Implementations of various type systems in OCaml.

weechat-slack. Weechat plugin for Slack | Fork at your own risk

einstein-puzzle. Einstein puzzle is a free cross-platform open source remake of old DOS game Sherlock which was inspired by Albert Einstein's puzzle. Einstein said that only those with an intelligence quotient of 98 percentile and higher should be able to solve it. The game goal is to open all cards in square of 6x6 cards. For this, a number of hints describing relations between card positions are given. Use them to find the correct layout. Einstein 2.0 features sound support, full internalization, Russian localization, reengineered resource subsystem to allow custom graphics themes and in-game rules browser. Previously, the project was located on http://games.flowix.com/en/index.html Now this resource available only through http://web.archive.org

pics. File formats dissections and more...

Apollo-11. Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

Palindrom. Library for two-way data binding between local and remote JSON models. It uses JSON-Patch for data updates and Operational Transformation for versioning and data consistency. It operates via HTTP or WebSocket or both.

cvui. A (very) simple UI lib built on top of OpenCV drawing primitives

orly-full-res. Full resolution images of the O RLY book covers made by The Practical Dev

firebird. Multi-platform emulator of TI Nspire calculators

shy. Version Control System made as UT OOP course project.

SVGnest. An open source vector nesting tool

pointless-xcompose. Extra Compose mappings to input an irritatingly large number of Unicode symbols under X.

xcompose. for sharing .XCompose keybindings

ilc. IRC log converter/collector

zopfli. Zopfli Compression Algorithm is a compression library programmed in C to perform very good, but slow, deflate or zlib compression.

mixxx. Mixxx is Free DJ software that gives you everything you need to perform live mixes.

btfs. A bittorrent filesystem based on FUSE.

netevent. Input-Event device cloning utility. Use it together with ssh/netcat/... to share input devices among different machines.

FLLTS2013. FIRST LEGO League Tournament Software

x2x. x2x allows the keyboard, mouse on one X display to be used to control another X display.

OpenRCT2. An open source re-implementation of RollerCoaster Tycoon 2 🎢

learnxinyminutes-docs. Code documentation written as code! How novel and totally my idea!

mimic. [ab]using Unicode to create tragedy

psmoveapi. Cross-platform library for 6DoF tracking of the PS Move Motion Controller. Sensor fusion, computer vision, ambient display (LED orb).

Cryptex. Robotex 2015/2016 jalgpallirobot

jsondiffpatch. Diff & patch JavaScript objects

ytfs. YouTube File System

coffea. :coffee: event based and extensible messaging library with multi-network and multi-protocol support

the-art-of-command-line. Master the command line, in one page

whatpulse. WhatPulse reverse engineered

weechat. The extensible chat client.

irc-docs. Collected IRC protocol documentation

jukebox. Democratic Jukebox - your democratic music player

google-authenticator. Open source version of Google Authenticator (except the Android app)

glances. Glances an Eye on your system. A top/htop alternative for GNU/Linux, BSD, Mac OS and Windows operating systems.

qu3e. Lightweight and Simple 3D Open Source Physics Engine in C++

p2pvc. A point to point color terminal video chat.

elevatorsaga. The elevator programming game!

ev3dev-lang. (deprecated) language bindings for ev3dev sensors, motors, LEDs, etc.

ev3dev. ev3dev meta - bug tracking, wiki and releases

epl-unscramble. EPL tasuliste artiklite tõenäosuslik dešifreerija

node-irc. NodeJS IRC client library

calculate. Expression evaluator using shunting-yard algorithm and RPN.

finalterm. At last – a modern terminal emulator (NO LONGER MAINTAINED)

hanstunnel. Hans - IP over ICMP

simbot. A plugin powered IRC bot written in node.js

quine-relay. An uroboros program with 100+ programming languages

spark. ▁▂▃▅▂▇ in your shell.

aprilFools.css. Harmlessly goof up your co-workers browser and chrome dev tools

SmartDeblur. Restoration of defocused and blurred photos/images

p0rtalSnake. Snake game that includes portals

node.native. C++11 port for the Node: native performance and modern simplicity.

AirTraffic. Single- and multiplayer game about being an air traffic controller

erkie.github.com. Adding asteroids to any site on the web