spass free download - SourceForge

Showing 6 open source projects for "spass"

View related business solutions

Ship Agents Faster
Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free
Demo Series - Small Business Backup By Veeam
Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.

Watch Demo Series
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: 2 This Week

Last Update: 2026-09-16
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: 1 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
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime
General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Start 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