afonsonf's Stars
guipguia/godl
go download a powerful CLI that enables asynchronous file downloads with ease and speed.
dcm4che/dcm4che
DICOM Implementation in JAVA
KnelC/profile-vuln
kaikramer/keystore-explorer
KeyStore Explorer is a free GUI replacement for the Java command-line utilities keytool and jarsigner.
tectonic-typesetting/tectonic
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
visjs/vis-network
:dizzy: Display dynamic, automatically organised, customizable network views.
ocadaruma/tlaplus-intellij-plugin
Intellij plugin for TLA+ formal specification language.
tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
will62794/tla-web
Interactive, web-based environment for exploring TLA+ specifications.
cursorless-dev/cursorless
Don't let the cursor slow you down
leanprover-community/mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
tlaplus/Examples
A collection of TLA⁺ specifications of varying complexities
lemmy/BlockingQueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
ceph/ceph
Ceph is a distributed object, block, and file storage platform
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
zaach/jison
Bison in JavaScript.
tlaplus/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
HappyCS-Gu/Parallel-Raft-tla
Specifying and Verfying concensus algorithms in PolarDB using TLA+
daniestevez/gr-satellites
GNU Radio decoder for Amateur satellites
ivanperez-keera/haskanoid
A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.