-
-
fmtgp Public
Forked from lukius/fmtgpFrom Mathematics to Generic Programming
C++ MIT License UpdatedMar 23, 2023 -
plingua Public
Forked from RGNC/plinguaThe P-Lingua language for Membrane Computing
C++ GNU General Public License v3.0 UpdatedApr 16, 2022 -
tkzgeom Public
Forked from csekri/tkzgeomGUI tool for TikZ figure production
Python MIT License UpdatedNov 26, 2021 -
OpenLogic Public
Forked from OpenLogicProject/OpenLogicAn open-source, customizable intermediate logic textbook
TeX Creative Commons Attribution 4.0 International UpdatedSep 28, 2021 -
leetcode-master Public
Forked from youngyangyang04/leetcode-masterLeetCode 刷题攻略：配思维导图，各个类型的经典题目刷题顺序、经典算法模板，以及详细图解和视频题解。这里精选的题目都不是孤立的，而是由浅入深一脉相承的，相信只要按照刷题攻略上的顺序来学习，一定会有所收获！给个star支持一下吧！
UpdatedNov 2, 2020 -
awesome-cpp-cn Public
Forked from jobbole/awesome-cpp-cnC++ 资源大全中文版，标准库、Web应用框架、人工智能、数据库、图片处理、机器学习、日志、代码分析等
UpdatedOct 29, 2020 -
texstudio Public
Forked from texstudio-org/texstudioTeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.
C++ F06D GNU General Public License v3.0 UpdatedJul 14, 2020 -
-
UPSimulator Public
Forked from quancs/UPSimulatorA univeral P system simulator for membrane computing researchers.
Java GNU General Public License v3.0 UpdatedDec 28, 2019 -
-
-
algorithms-1 Public
Forked from jeffgerickson/algorithmsBug-tracking for Jeff's algorithms book, notes, etc.
UpdatedDec 31, 2018 -
-
-
-
ucasthesis Public
Forked from mohuangrui/ucasthesis[最新样式] 中国科学院大学学位论文 LaTeX 模板 LaTeX Thesis Template for the University of Chinese Academy of Sciences
TeX UpdatedAug 3, 2018 -
tinyxml2 Public
Forked from leethomason/tinyxml2TinyXML2 is a simple, small, efficient, C++ XML parser that can be easily integrated into other programs.
C++ UpdatedJul 17, 2018 -
Automata Public
Forked from AutomataDotNet/AutomataAutomata and transducer library for .NET
C# Other UpdatedJul 11, 2018 -
flex Public
Forked from westes/flexThe Fast Lexical Analyzer - scanner generator for lexing in C and C++
C Other UpdatedJul 10, 2018 -
DPO-SYNT Public
Forked from xiang-yin/DPO-SYNTDPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems
C++ UpdatedApr 19, 2018 -
Begin-Latex-in-minutes Public
Forked from luong-komorebi/Begin-Latex-in-minutes📜 Brief Intro to LaTeX for beginners that helps you use LaTeX with ease. Comments and Contributions are welcomed 👍
UpdatedMar 19, 2018 -
08_General_algebraic_systems Public
Forked from planetmath/08_General_algebraic_systemsHTML Other UpdatedMar 10, 2018 -
html-parser Public
Forked from liigo/html-parserLiigo's HTML parser for C++, a fast & simple node-based HTML text parser.
HTML UpdatedOct 8, 2017 -
-
-
SEPIA Public
Forked from iig-uni-freiburg/SEPIASecurity-oriented PN Framework
-
TOVAL Public
Forked from GerdHolz/TOVAL -
SEWOL Public
Forked from iig-uni-freiburg/SEWOLSecurity-oriented Workflow Lib
-
JAGAL Public
Forked from iig-uni-freiburg/JAGALJava Graph Library
{{ message }}