sim642

Simmo Saan's starred repositories

SmartTube

SmartTube - an advanced player for set-top boxes and tvs running Android OS

Language:JavaNOASSERTION18344 178 2534

SponsorBlock

Skip YouTube video sponsors (browser extension)

Language:TypeScriptGPL-3.09659 66 1359

reviewdog

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

Language:GoMIT7705 54 286

AntennaPod

A podcast manager for Android

Language:JavaGPL-3.06210 154 4109

git-of-theseus

Analyze how a Git repo grows over time

Language:PythonApache-2.02498 25 51

hercules

Gaining advanced insights from Git repository history.

Language:GoNOASSERTION2202 22 136

catala

Programming language for literate programming law specification

Language:OCamlApache-2.01958 21 245

nordpool

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

Language:Python438 30 263

JCloisterZone

Java implementation of Carcassonne board game

Language:JavaMIT301 19 313

reanalyze

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

Language:OCamlMIT276 14 71

zenodo-upload

upload big files to Zenodo using cURL, jq and bash

Language:ShellMIT216 4 11

sparrow

The Sparrow Static Analyzer

Language:OCamlNOASSERTION121 18 4

action-suggester

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

Language:ShellMIT102 31 12

opentraining

Android App for planing your fitness training.

Language:JavaGPL-3.079 24 40

sherlocode

Realtime grep for OCaml/Coq sources available on opam

Language:OCamlMIT78 2 10

data

Empowering Fitness

Language:JavaScriptCC-BY-SA-4.078 10 6

qcstm

A simple state-machine framework for OCaml based on QCheck

Language:OCamlBSD-2-Clause63 8 2

mutaml

An OCaml mutation tester

Language:OCamlBSD-2-Clause61 4 11

fetch-them-macos-headers

A utility for fetching minimal macOS libc headers

Language:CMIT49 6 6

set-commit-status-action

GitHub Action to set commit status

Language:TypeScriptMIT3800

ocaml-memgraph

A small library to output memory graph for ocaml values

Language:OCamlMIT34 6 4

pumping

Regular languages in types

Language:OCamlNOASSERTION21 4 1

simba

Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation

Language:SlashGPL-3.019 40

ppx_type_directed_value

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

Language:OCamlMIT1600

picasso

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

Language:OCaml9 20

lcheck

A library for quickchecking lattice modules and associated operations

Language:OCaml5 30

ui

POC for a web ui

Language:JavaScriptUnlicense400

Compilers2020

Language:OCaml3 20

AAA528

AAA528 Computational Logic

Language:OCaml2 10

analyser

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

Language:OCamlMIT1 20