sim642

sim642's Stars

• yuliskov/SmartTube

  Advanced player for set-top boxes and tvs running Android OS

  Language:Java20.9k1912.8k1.1k

• reviewdog/reviewdog

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

  Language:Go8.1k54304428

• src-d/hercules

  Gaining advanced insights from Git repository history.

  Language:Go2.6k103139367

• erikbern/git-of-theseus

  Analyze how a Git repo grows over time

  Language:Python2.6k265387

• mstange/samply

  Command-line sampling profiler for macOS and Linux

  Language:Rust2.5k1910060

• Cimbali/pympress

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

  Language:Python1.2k1923690

• oetiker/rrdtool-1.x

  RRDtool 1.x - Round Robin Database

  Language:C1k63722265

• alexey-lysiuk/macos-sdk

  Apple's macOS SDKs

  Language:Roff1629243

• ropas/sparrow

  The Sparrow Static Analyzer

  Language:OCaml12318428

• reviewdog/action-suggester

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

  Language:Shell108331314

• everkinetic/data

  Empowering Fitness

  Language:JavaScript8310739

• chaosbastler/opentraining

  Android App for planing your fitness training.

  Language:Java82244058

• Kakadu/zanuda

  OCaml linter

  Language:OCaml732399

• jmid/qcstm

  A simple state-machine framework for OCaml based on QCheck

  Language:OCaml65826

• upenn-cis1xx/camelot

  A fully-modular OCaml style linter

  Language:OCaml457445

• arlencox/mlbdd

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

  Language:OCaml36944

• Gbury/ocaml-memgraph

  A small library to output memory graph for ocaml values

  Language:OCaml36743

• jserot/lascar

  An OCaml library for manipulating Labeled Transition Systems

  Language:OCaml24213

• yhyoon/simba

  Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation

  Language:Slash20402

• janestreet/ppx_js_style

  Code style checker for Jane Street Packages

  Language:OCaml19723

• chaosbastler/opentraining-exercises

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

  Language:Shell14506

• arlencox/QUICr

  QUICr parametric abstract domain for sets

  Language:OCaml12421

• NathanReb/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.

  Language:OCaml10400

• arlencox/SETr

  Abstract domain library for sets

  Language:OCaml9211

• ghilesZ/picasso

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

  Language:OCaml9200

• everkinetic/ui

  POC for a web ui

  Language:JavaScript4604

• kupl/Compilers2020

  Language:OCaml3204

• kupl/AAA528

  AAA528 Computational Logic

  Language:OCaml2100

• jboillot/analyser

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

  Language:OCaml1200

• toodom02/ocamlregextkit

  Language:OCaml1121