Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Julia

Crystal

Kotlin

PHP

Dart

Java

Zig

R

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Objective-C

Java

Rust

MATLAB

Lua

Elixir

C

PHP

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇲🇳 Mongolia

🇦🇬 Antigua and Barbuda

🇦🇿 Azerbaijan

🇨🇰 Cook Islands

🇶🇦 Qatar

🇲🇨 Monaco

🇦🇱 Albania

All Countries Compare Countries

RemcodM/thesis-ecore-groove-formalisation

Stars
1
Language Isabelle
License
Academic Free Lic...
Created about 5 years ago
Updated about 5 years ago

RemcodM/thesis-ecore-groove-formalisation

RemcodM

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Code and digital materials that belong to the master thesis 'A formalisation of EMF by expressing Ecore as GROOVE graphs'

pearl000-files

Linux & macOS optimized files for Pearl 000 (Computer architecture) of Pearls of Computer Science, Bachelor Technical Computer Science, University of Twente, The Netherlands.