Skip to content
GitLab
Explore
Sign in
Explore
Projects
Explore projects
All
Most starred
Trending
CMake
Any
Batchfile
BibTeX
C
C#
C++
CMake
CSS
Dockerfile
Go
HLSL
HTML
Java
JavaScript
Jupyter Notebook
MATLAB
Makefile
OCaml
PHP
PowerShell
Python
R
ShaderLab
Shell
TeX
TypeScript
Name
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
S
Jakob Schneider Villumsen /
simple-oprf
Crypto talent track project fall 2021
archived
1
Updated
Feb 09, 2022
archived
1
0
0
0
Updated
Feb 09, 2022
V
Into-cps /
vdm2c-exploration
VDM code generation targeting ANSI C
archived
0
Updated
Nov 15, 2020
archived
0
0
0
0
Updated
Nov 15, 2020