DanySK / Template-LaTeX-CILinks
A Template Repository for quickly creating more specific LaTeX templates with Continuous Integration in place
☆14Updated 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:
- scafi (Scala with computational Fields): a Scala framework for Aggregate Computing☆26Updated this week
- ☆18Updated last week
- A Python-based interpreter for the agent-oriented programming language JASON☆51Updated last year
- Get notifications about changes in your SPARQL endpoint.☆29Updated 2 weeks ago
- TChecker is an open-source verification tool for timed automata☆21Updated last month
- The Git repository for the mCRL2 toolset.☆98Updated this week
- Main repository of the Open RDF Streaming Benchmark Suite☆14Updated 2 months ago
- The main development version of the PRISM model checker.☆172Updated this week
- ☀️ Java整理笔记 『包含面试笔记、Java基础、Java并发编程、JVM、数据库、缓存、Spring框架、分布式系统设计等核心知识点』 🚀 非常适合Java程序员面试、学习,欢迎提交完善☆15Updated 2 years ago
- A scalable Thing Description Directory☆19Updated 9 months ago
- Template LaTeX non ufficiale per una tesi Unibo☆21Updated 5 years ago
- Quanto manca al termine della campagna vaccinale italiana contro Sars-CoV-2?☆28Updated 3 years ago
- SCROLL - SCala ROLes Language (A DSL based on Scala for role-based programming and dispatch)☆27Updated this week
- Toolset to capture, simulate, synthesize and verify graph models☆64Updated last week
- AIGER And-Inverter-Graph Library☆78Updated this week
- An I/O-efficient implementation of (Binary) Decision Diagrams☆29Updated 2 months ago
- A simple Python library to export networks to yEd☆85Updated 10 months ago
- dati.gov.it: il sito degli opendata italiani☆53Updated 6 years ago
- The Information Model of the International Data Spaces implements the IDS reference architecture as an extensible, machine readable and t…☆70Updated last year
- Main repository of the GreatSPN framework☆46Updated 3 months ago
- MontiCore is a language workbench for an efficient development of domain-specific languages.☆88Updated this week
- A simple tool for a simple task: remove filler sounds ("ehm") from pre-recorded speeches. AI powered.☆232Updated last year
- 一个记录学习历程的仓库,涵盖 MySQL、Go、Python 和 前端开发 的笔记与实践。分享代码示例、学习心得和技术经验,为开发者提供灵感与参考。☆13Updated this week
- WoT Application Manager - a command line interface to build a Web of Things application for https://github.com/eclipse/thingweb.node-wot☆16Updated 8 months ago
- SNAKES is the Net Algebra Kit for Editors and Simulators☆93Updated last year
- Super-fast RDF serialization for Jena & RDF4J☆37Updated this week
- Customizable LaTeX bot for Telegram messenger☆224Updated last year
- A Modern Probabilistic Model Checker☆147Updated this week
- 27-Queens Puzzle: Massively Parellel Enumeration and Solution Counting☆83Updated 7 years ago
- Parsing, AST and semantic analysis for the Cypher Query Language☆58Updated 10 months ago