CinCoders / cs-deadlinesLinks
CS Deadlines - Top CS Conferences deadlines
☆11Updated 6 months ago
Alternatives and similar repositories for cs-deadlines
Users that are interested in cs-deadlines are comparing it to the libraries listed below
Sorting:
- The Sirio library for the analysis of stochastic time Petri nets☆14Updated 4 months ago
- Classes LaTeX para documentos do CIn☆13Updated 4 years ago
- Repository of teaching material for product lines and variability☆12Updated last year
- Demonstration of how to use ASCET-DEVELOPER in a CI/CD pipeline.☆11Updated 5 months ago
- The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."☆33Updated 6 months ago
- Instruções sobre o processo de produção dos livros do curso Licenciatura em Computação a distância da UFPB☆16Updated 2 years ago
- Uppaal Timed Automata Parser☆11Updated last month
- Material para Matemática Discreta☆10Updated 8 years ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆31Updated this week
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated last week
- An implementation of the Oberon language using Scala☆55Updated 11 months ago
- An API for Deep Learning☆36Updated 7 months ago
- Sireum: A High Assurance System Engineering Platform☆12Updated this week
- OpenFTA☆12Updated 12 years ago
- Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc☆38Updated this week
- Feature-Oriented and Distributed Version Control System☆16Updated this week
- RV-Monitor core system code☆16Updated 4 years ago
- Research plan templates for undergrad and graduate (master and phd) students☆22Updated 3 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- a better way to visualize your university credits and disciplines☆33Updated 2 years ago
- Teaching material for introduction to compilers course at UFPE☆22Updated 4 years ago
- Classe LaTeX para monografia/dissertação/tese do CIC.☆113Updated last year
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- Model-based Demonstrator for Smart and Safe Systems☆16Updated 5 years ago
- Modal Logic Library in Coq☆15Updated 3 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆36Updated last year
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- Material do Curso☆52Updated 4 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆12Updated this week
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆12Updated 5 years ago