spass free download - SourceForge

Showing 6 open source projects for "spass"

View related business solutions

Veeam Data Platform v13.1 - Get Your Free Trial
Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try it Free
Train ML Models With SQL You Already Know
BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.

Try Free
1

Spiele Inventar Verwaltung

Inventar Verwaltung für Games Linux & Windows

Spiele Verwaltung 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: 1 This Week

Last Update: 2026-07-26
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
Host LLMs in Production With On-Demand GPUs
NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.

Try 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