Johannes Altmanninger's repositories
clang-tools-extra
clang-tools-extra including sloopy. Sloopy computes heuristics to empirically determine difficulty of automated program analysis for loops in C programs.
Clang-tutorial
A collection of code samples showing usage of clang and llvm as a library
cryptominisat
An advanced SAT Solver
desktop
đź’» Desktop Syncing Client for Nextcloud
gnome-mpv
A simple GTK+ frontend for mpv
hub
hub helps you win at git.
Idris-dev
A Dependently Typed Functional Programming Language
im-rs
Assorted immutable collection datatypes for Rust
java-test
A java test repo
mc
model checker for modal ÎĽ-calculus
pandoc
Universal markup converter
peek
Simple animated GIF screen recorder with an easy to use interface
reladomo
Reladomo is an enterprise grade object-relational mapping framework for Java.
remacs
Rust :heart: Emacs
robots
rascal
rtc
redundancy elimination for CNF formulas
sized-chunks
Efficient sized chunk datatypes for immutable.rs
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
symphony-java-client
Java client library for Symphony
tika
Mirror of Apache Tika
toxcore
The future of online communications.
vim-fish
Vim support for editing fish scripts
vim-polyglot
A solid language pack for Vim.