Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by albsch

A curated list of projects in awesome lists by albsch .

https://github.com/albsch/minsem

Minimal semantic subtyping framework

Last synced: 13 Jan 2025

https://github.com/albsch/antidote-doc-graphs

Antidote module dependency graph generator

Last synced: 13 Jan 2025

https://github.com/albsch/testeeee

Last synced: 13 Jan 2025

https://github.com/albsch/minierl-sem

Semantic types for mini Erlang

Last synced: 13 Jan 2025

https://github.com/albsch/snappymail-docker

SnappyMail with docker-compose

Last synced: 13 Jan 2025

https://github.com/albsch/rcl_memkv

Simple in-memory key-value store based on riak_core_lite

Last synced: 13 Jan 2025

https://github.com/albsch/nqj-transpiler

NotQuiteJava Transpiler

Last synced: 13 Jan 2025

https://github.com/albsch/scraper-jobs

Example workflow specifications ready to be used

Last synced: 13 Jan 2025

https://github.com/albsch/buggy_proper

Last synced: 13 Jan 2025

https://github.com/albsch/rofi-pass-wl

Rofi-pass replacement with wayland support

Last synced: 13 Jan 2025

https://github.com/albsch/jmss

Java Modular SAT Solver

Last synced: 13 Jan 2025

https://github.com/albsch/riac

Regular Language Inclusion Solver

Last synced: 13 Jan 2025

https://github.com/albsch/erlang-checksrc

Checking how many exported functions are missing spec annotations

Last synced: 13 Jan 2025

https://github.com/albsch/testee

Last synced: 13 Jan 2025

https://github.com/albsch/testeee

Last synced: 13 Jan 2025