| RRZE-Webteam/FAU-Einrichtungen |
18 |
|
0 |
0 |
over 2 years ago |
0 |
|
31 |
gpl-3.0 |
PHP |
| WordPress-Theme für zentrale Einrichtungen der Friedrich-Alexander-Universität Erlangen-Nürnberg |
| cogdog/truwriter |
12 |
|
0 |
0 |
over 2 years ago |
0 |
|
2 |
gpl-2.0 |
PHP |
| Wordpress theme for elegant web publishing without logging in |
| kappelmann/eidi2_repetitorium_tum |
11 |
|
0 |
0 |
over 7 years ago |
0 |
|
0 |
|
OCaml |
| This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich. |
| bu-ist/coding-standards |
10 |
|
0 |
0 |
over 2 years ago |
0 |
|
10 |
|
Ruby |
| Code style guides for web projects at Boston University. |
| mtheoryx/iuwpcas |
9 |
|
0 |
0 |
about 10 years ago |
0 |
|
8 |
|
PHP |
| Wordpress plugin integrating Indiana University CAS Authentication |
| cogdog/tru-collector |
9 |
|
0 |
0 |
over 2 years ago |
0 |
|
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 |
| mikesales83/wordpress-digital-signage |
8 |
|
0 |
0 |
almost 11 years ago |
0 |
|
3 |
|
|
| Newcastle University's WordPress digital signage platform. Download the source or try the system out within a ready-to-run portable WAMP stack. |
| sbstatesman/the-statesman |
6 |
|
0 |
0 |
almost 10 years ago |
0 |
|
4 |
gpl-3.0 |
PHP |
| A Wordpress theme for The Statesman — Stony Brook University's oldest student newspaper. |
| cogdog/splotpoint |
5 |
|
0 |
0 |
about 5 years ago |
0 |
|
1 |
apache-2.0 |
PHP |
| A Wordpress-theme SPLOT for presenting the SPLOT Way (on the web) |
| jennalwise/graphblas-verif |
5 |
|
0 |
0 |
almost 8 years ago |
0 |
|
15 |
other |
C |
| Formal verification of the GraphBLAS C API implementation by Tim Davis using Frama-C/WP. |
