Eidi2_repetitorium_tum
This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Fau Einrichtungen | 18 | 4 months ago | 31 | gpl-3.0 | PHP | |||||
| WordPress-Theme für zentrale Einrichtungen der Friedrich-Alexander-Universität Erlangen-Nürnberg | ||||||||||
| Truwriter | 12 | 4 months ago | 2 | gpl-2.0 | PHP | |||||
| Wordpress theme for elegant web publishing without logging in | ||||||||||
| Eidi2_repetitorium_tum | 11 | 5 years ago | OCaml | |||||||
| This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich. | ||||||||||
| Coding Standards | 10 | 5 months ago | 10 | Ruby | ||||||
| Code style guides for web projects at Boston University. | ||||||||||
| Tru Collector | 9 | 4 months ago | 1 | gpl-2.0 | PHP | |||||
| A Wordpress Theme for a site to allow collections of images where contributions can be made without any silly logins | ||||||||||
| Iuwpcas | 9 | 8 years ago | 8 | PHP | ||||||
| Wordpress plugin integrating Indiana University CAS Authentication | ||||||||||
| Wordpress Digital Signage | 8 | 9 years ago | 3 | |||||||
| Newcastle University's WordPress digital signage platform. Download the source or try the system out within a ready-to-run portable WAMP stack. | ||||||||||
| The Statesman | 6 | 8 years ago | 4 | gpl-3.0 | PHP | |||||
| A Wordpress theme for The Statesman — Stony Brook University's oldest student newspaper. | ||||||||||
| Splotpoint | 5 | 3 years ago | 1 | apache-2.0 | PHP | |||||
| A Wordpress-theme SPLOT for presenting the SPLOT Way (on the web) | ||||||||||
| Graphblas Verif | 5 | 6 years ago | 15 | other | C | |||||
| Formal verification of the GraphBLAS C API implementation by Tim Davis using Frama-C/WP. | ||||||||||
Alternatives To Eidi2_repetitorium_tumSelect To Compare
Alternative Project Comparisons
Popular University Projects
Popular Wordpress Projects
Popular Learning Resources Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Wordpress
Functional Programming
Ocaml
University