Jaxan

Jaxan's Stars

• gorhill/uBlock

  uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

  Language:JavaScript47.8k9303.4k3.2k

• musescore/MuseScore

  MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

  Language:C++12.4k24110k2.7k

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k10310.1k657

• Beep6581/RawTherapee

  A powerful cross-platform raw photo processing program

  Language:C++2.9k906k327

• varkor/quiver

  A modern commutative diagram editor for the web.

  Language:JavaScript2.4k2522883

• RhetTbull/osxphotos

  Python app to work with pictures and associated metadata from Apple Photos on macOS. Also includes a package to provide programmatic access to the Photos library, pictures, and metadata.

  Language:Python2.2k261k101

• retorquere/zotero-deb

  Packaged versions of Zotero and Juris-M for Debian-based systems

  Language:Crystal905119032

• pysathq/pysat

  A toolkit for SAT-based prototyping in Python

  Language:Python3931913771

• LearnLib/learnlib

  A free, open-source Java library for automata learning algorithms

  Language:Java208166054

• rust-lang/thanks

  Celebrate Rust contributors.

  Language:Rust158113335

• libLISA/liblisa

  libLISA: Instruction Discovery and Analysis on x86-64

  Language:Rust102304

• m-ou-se/whichever-compiles

  Language:Rust95513

• mCRL2org/mCRL2

  The Git repository for the mCRL2 toolset.

  Language:C++89111.7k37

• andrejbauer/alg

  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.

  Language:OCaml826127

• jmid/pbt-frameworks

  An overview of property-based testing functionality

  54313

• utwente-fmt/ltsmin

  The LTSmin model checking toolset

  Language:C531316731

• abarbu/haskell-torch

  Practical Deep Learning in Haskell now!

  Language:Haskell50511

• bellissimogiorno/nominal

  Haskell implementation of nominal datatypes and functions

  Language:Haskell39508

• maciej-bendkowski/boltzmann-brain

  Analytic sampler compiler for combinatorial systems

  Language:Haskell304195

• byorgey/species

  Language:Haskell17851

• julesjacobs/boa

  Partition refinement

  Language:Rust13301

• laxris/flexfringe-colab

  Colab Notebook for flexfringe

  Language:Jupyter Notebook5230

• squell/aoc-68

  Advent of Code 2021 solutions in ALGOL 68

  Language:Modula-24200

• Josha91/KiesKompas_PCA

  PCA of parties pov for Dutch 2021 elections

  Language:Python3100

• TobiasKappe/grading

  Partial grading automation for ANS

  Language:Python3100

• assist-project/state-machine-bug-finder

  An automated framework for detecting state machine bugs in network protocol implementations.

  Language:Java2360

• davidv1992/hanabi

  Language:JavaScript1200

• Jaxan/monoid-learner

  Learns a monoid with an L*-like algorithm

  Language:Haskell1200

• SCRK16/OLStar

  Output-decomposed Learning of Mealy Machines based on L*

  Language:Jupyter Notebook120

• TCatshoek/lstar

  Language:Python1200