spass free download - SourceForge

Showing 6 open source projects for "spass"

View related business solutions

Try Google Cloud Risk-Free With $300 in Credit
No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free
Fully Managed MySQL, PostgreSQL, and SQL Server
Automatic backups, patching, replication, and failover. Focus on your app, not your database.

Cloud SQL handles your database ops end to end, so you can focus on your app.

Try Free
1

TC-SpieleInventarVerwaltung

Inventarwaltung für Games Linux & Windows

SpieleVerwaltung für Linux (portable AppImage) / Windows-Portable -------------------------------------------------------------------------------------- Inventarverwaltung für deine Spiele, Versionen für Linux und Windows - portable mit allen Abhängigkeiten. Verwalte deine Konsolen-und PC Games, ohne viel Schnickschnack, komfortabel und schnell. - einfach starten und Spass haben, ohne Installation - Datenbank - Freigabe Logos inclusive - Livesuche - Darkmodus - Export und Import via CSV - Detailansicht mit allen Einträgen plus Freigabe Logo - mehrere Bilder möglich und im Detail bis max 800px anzeigbar - Maus und Tastatur- bedienbar - Bilder hinzufügen über Erstellen und Drag& Drop - Plattform-Filter - getestet unter Linux MX (Debian) und Windows 11 und noch kleine andere Sachen Gebaut nach den Vorlieben, wie ich eine Verwaltung benötige. ----------------------------------------------- License: Freeware (Closed Source) See LICENSE.txt for details

Downloads: 6 This Week

Last Update: 1 day ago
See Project
2

spass

Cryptographically secure random password/passphrase generator

1 Review

Downloads: 0 This Week

Last Update: 2019-02-11
See Project
3

CTL-RP

CTL-RP is a theorem prover for Computation Tree Logic (CTL)

CTL-RP stands for Computation Tree Logic Resolution Prover. Computation Tree Logic (CTL) is a branching-time temporal logic. CTL-RP is a resolution based theorem prover for CTL, which utilises a first-order theorem prover, SPASS, as a core engine for inference. Please see the following link for more details. http://cueb.science/web/software/ (if you are inside China.) http://ctlrp.sourceforge.net (if you are not inside China.)

Downloads: 0 This Week

Last Update: 2017-01-03
See Project
4

SWTOR Combat Log Analyzer

Grafischer Kampflog Analyzer für SWTOR

...Grouping the data (damage and heal) for each fight. Views with detailed data. Mit dem SWTOR Combatlog Analyser können die Kampflogs (gibt es seit SWTOR 1.2) ausgewertet werden. Viel Spass bei der Benutzung. With the SWTOR Combatlog Analyzer you are able to analyze the combat log of SWTOR (avaiable since 1.2). You must have Java 6 installed. Details are here: http://www.java.com/de/download/ Have fun! You will find details here: Details findest Du hier:

Downloads: 0 This Week

Last Update: 2016-04-20
See Project
Go from Code to Production URL in Seconds
Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.

Try it free
5

tuprojekt

tu projektpraktikum. ein spass ist das

Downloads: 0 This Week

Last Update: 2013-04-24
See Project
6

spassgui

Spassgui is a Perl/Tk based Gui for SPASS (An Automated Theorem Prover for First-Order Logic with Equality) by http://spass.mpi-sb.mpg.de .

Downloads: 0 This Week

Last Update: 2013-03-20
See Project