Skip to content
GitLab
Explore
Sign in
Explore
Projects
Explore projects
All
Most starred
Trending
CMake
Any
BibTeX
C
C#
C++
CMake
CSS
Dockerfile
GLSL
HLSL
HTML
Java
JavaScript
Jupyter Notebook
Makefile
Matlab
MATLAB
PHP
PostScript
Python
R
ShaderLab
Shell
TeX
XQuery
XSLT
Most stars
Sort by
Updated date
Last created
Name
Name, descending
Most stars
Oldest updated
Oldest created
Hide archived projects
Show archived projects
Show archived projects only
R
Tom Kranz /
reglibcpp
Naïve C++ implementation of models for regular languages.
0
Updated
Oct 08, 2018
0
0
0
0
Updated
Oct 08, 2018
R
Tom Kranz /
RegWeb
0
Updated
Aug 29, 2018
0
0
0
0
Updated
Aug 29, 2018
C
VERSECLOUD-Public /
Cross Ocamlopt Opam
GNU Lesser General Public License v2.1 only
0
Updated
Nov 23, 2023
0
0
0
0
Updated
Nov 23, 2023
O
ATP /
Omega-Library
BSD 2-Clause "Simplified" License
The Omega Decision Procedure Library
0
Updated
Nov 06, 2023
0
0
0
0
Updated
Nov 06, 2023
M
Marie-Sophie Rohwäder /
Matrix Paper
GNU General Public License v3.0 or later
0
Updated
Mar 12, 2024
0
1
0
0
Updated
Mar 12, 2024