spass free download - SourceForge

Showing 6 open source projects for "spass"

View related business solutions

Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.

Try it Free
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
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
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.

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