trolando

trolando's Stars

• libfuse/sshfs

  A network filesystem client to connect to SSH servers

  Language:C6.1k502

• mabe02/lanterna

  Java library for creating text-based GUIs

  Language:Java2.3k246

• enpasos/muzero

  Language:Java132

• SSoelvsten/adiar

  An I/O-efficient implementation of (Binary) Decision Diagrams

  Language:C++2413

• olijzenga/bdd-parity-game-solver

  A symbolic parity game solver which implements two fixpoint-iteration algorithms capable of deriving winning strategies symbolically. Used for my thesis for my bachelor's degree.

  Language:Python1

• arminbiere/kissat

  Language:C47687

• GuybrushGit/WarriorSim

  Language:JavaScript5272

• mCRL2org/mCRL2

  The Git repository for the mCRL2 toolset.

  Language:C++9038

• nidhugg/nidhugg

  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.

  Language:C8134

• tcsprojects/pgsolver

  A collection of tools for generating, manipulating and - most of all - solving parity games.

  Language:OCaml3516

• pyldap/pyldap

  THIS FORK IS DEPRECATED; development moved to python-ldap

  Language:Python10534

• jonge-democraten/website

  JD website

  Language:Python62

• got5/tapestry5-jquery

  Tapestry5-jquery module is focusing on overriding some core component like Datefield & providing a collections of jQuery components

  Language:HTML11269