Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Very Low Activity
Analyzed 3 days ago. based on code collected 4 days ago.

Project Summary

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

Tags

automatatheory deutsch formallanguages formallanguagetheory german latex propositionallogic slides teaching tudresden

In a Nutshell, FormaleSysteme...

Quick Reference

Project Links:

Code Locations:
https://github.com/mkroetzsch/Fo...
Similar Projects:
Managers:
Markus Krötzsch

Licenses

CC Attribution 4.0 International
Permitted
Forbidden
Required

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record
Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities
Few reported vulnerabilities
About Project Vulnerability Report

Did You Know...

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    compare projects before you chose one to use
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    data presented on the Open Hub is available through our API
About Project Security

Code

Lines of Code

Activity

Commits per Month

Community

Languages

TeX/LaTeX 		100%
shell script 		<1%

30 Day Summary

Feb 8 2025 — Mar 10 2025

12 Month Summary

Mar 10 2024 — Mar 10 2025
  • 1 Commits
    Down -47 (97%) from previous 12 months
  • 1 Contributors
    Down -3 (75%) from previous 12 months

Most Recent Contributors

Markus Krötzsch Maximilian Marx
voidless Andrej Bereza
Kiara PhilippRiegelmann

Ratings

Be the first to rate this project
Click to add your rating
  
Review this Project!