DanySK / Template-LaTeX-CILinks
A Template Repository for quickly creating more specific LaTeX templates with Continuous Integration in place
☆15Updated last week
Alternatives and similar repositories for Template-LaTeX-CI
Users that are interested in Template-LaTeX-CI are comparing it to the libraries listed below
Sorting:
- JaKtA is a Kotlin internal DSL for the definition of BDI agents.☆11Updated this week
- ☆20Updated this week
- Quick start for modern LaTeXing for an IEEE conference☆106Updated 2 months ago
- scafi (Scala with computational Fields): a Scala framework for Aggregate Computing☆27Updated this week
- The Next Generation Logic Library☆146Updated 7 months ago
- 一个记录学习历程的仓库,涵盖 MySQL、Go、Python 和 前端开发 的笔记与实践。分享代码示例、学习心得和技术经验,为开发者提供灵感与参考。☆13Updated last month
- TChecker is an open-source verification tool for timed automata☆22Updated 2 months ago
- Alchemist: an extensible simulator for pervasive computing☆45Updated this week
- Java版本算法练习+笔记总结 按照数组-> 链表-> 哈希表->字符串->栈与队列->树->回溯->贪心->动态规划->图论->高级数据结构进行系统的练习 每道题都有标号和题目链接☆12Updated 3 years ago
- Aggregate Computing in Kotlin Multiplatform☆18Updated this week
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆76Updated this week
- The Sirio library for the analysis of stochastic time Petri nets☆14Updated last week
- 整理编写的几个Java小游戏合集涵盖了JAVA多方面的知识点☆13Updated 7 months ago
- MontiCore is a language workbench for an efficient development of domain-specific languages.☆88Updated this week
- This is the repository of the open-core reference implementation of the IDS Metadata Broker.☆15Updated 2 years ago
- Reasoner for the description logic EL+.☆14Updated last month
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- PIPE - Platform Independent Petri Net Editor☆239Updated 3 years ago
- Refinery: an efficient graph solver for generating well-formed models☆17Updated 2 weeks ago
- Vorlesungswebseite für den Kurs Software Engineering der Universität Basel☆30Updated 6 months ago
- ☀️ Java整理笔记 『包含面试笔记、Java基础、Java并发编程、JVM、数据库、缓存、Spring框架、分布式系统设计等核心知识点』 🚀 非常适合Java程序员面试、学习,欢迎提交完善☆15Updated 2 years ago
- A Python-based interpreter for the agent-oriented programming language JASON☆52Updated last year
- The Information Model of the International Data Spaces implements the IDS reference architecture as an extensible, machine readable and t…☆71Updated last year
- BibTeX entry generator☆198Updated 10 months ago
- xOpera orchestrator compliant with TOSCA YAML v1.3 in the making☆36Updated 2 years ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆11Updated 4 months ago
- Super-fast RDF serialization for Jena & RDF4J☆40Updated this week
- Ontological Modeling Language (OML)☆28Updated 3 weeks ago
- SCROLL - SCala ROLes Language (A DSL based on Scala for role-based programming and dispatch)☆27Updated last week
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆22Updated 2 years ago