Projects in Awesome Lists by lemmy
A curated list of projects in awesome lists by lemmy .
https://github.com/lemmy/blockingqueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
fifo fifo-queue java model-checking specification tla tlaplus tlaps
Last synced: 16 May 2025
https://github.com/lemmy/BlockingQueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
fifo fifo-queue java model-checking specification tla tlaplus tlaps
Last synced: 26 Mar 2025
https://github.com/lemmy/lets-prove-blocking-queue
Proving a blocking queue deadlock free in a dozen different ways
algorithm concurrency deadlock-freedom proof tla tlaplus
Last synced: 26 Mar 2025
https://github.com/lemmy/kraken-gateway
kraken-gateway clone with skype transport added
Last synced: 14 Apr 2025
https://github.com/lemmy/skype4java
Clone of skype4java with a Linux DBus binding - LOOKING FOR NEW MAINTAINER
Last synced: 24 Feb 2025
https://github.com/lemmy/sensors2mqtt
Sends the Android sensor data to an MQTT broker of your choice
Last synced: 04 Dec 2024
https://github.com/lemmy/myworkspacemechanics
A collection of workspace mechanic configs for Eclipse
Last synced: 12 Apr 2025
https://github.com/lemmy/myanimalfarm
Java Introduction (each commit introduces a new concept)
Last synced: 04 Dec 2024
https://github.com/lemmy/tlc-perf
Performance measurements for the TLC model checker
Last synced: 26 Mar 2025
https://github.com/lemmy/zarafa2asterisk
Sets the Asterisk caller ID from Zarafa Contacts
Last synced: 26 Mar 2025
https://github.com/lemmy/securedslp
Encrypted version of the SLP protocol based on group Diffie-Hellman key exchange
Last synced: 06 Apr 2025
https://github.com/lemmy/p2compositerepogenerator
Generates p2 composite repository metadata on the fly
Last synced: 26 Mar 2025
https://github.com/lemmy/de.rub.hgi.nds.tgdh
The original source can be found at http://nds.hgi.rub.de/liao/works/TGDH-Source.zip
Last synced: 26 Mar 2025
https://github.com/lemmy/lemmy.github.io
My personal blog hosted at https://www.lemmster.de
Last synced: 26 Mar 2025
https://github.com/lemmy/dnsjava
Do not use this project! Go to http://www.xbill.org/dnsjava/ instead!
Last synced: 26 Mar 2025
https://github.com/lemmy/dafny-sort
https://gitpod.io/#https://github.com/lemmy/dafny-sort
Last synced: 26 Mar 2025
https://github.com/lemmy/mongo2tla
https://github.com/tlaplus/tlaplus/issues/413
Last synced: 26 Mar 2025
https://github.com/lemmy/e4ty5minutesapp
Eclipse e4 sample application - The app is a 45 minutes presentation too.
Last synced: 26 Mar 2025
https://github.com/lemmy/jclouds2p2
Aggregates jclouds and its dependencies into a p2 repository
Last synced: 26 Mar 2025
https://github.com/lemmy/org.eclipse.ecf.discovery.dnssd
DNS-SD based wide-area ECF discovery provider
Last synced: 26 Mar 2025
https://github.com/lemmy/tlc-scalability
Scalability measurements for the TLC model checker
Last synced: 26 Mar 2025
https://github.com/lemmy/org.eclipse.ecf.winterschool
ECF OSGi winterschool tutorial
Last synced: 26 Mar 2025