Skip to content

GitLab

Projects Groups Topics Snippets

/

Help
Register
Sign in

Explore
Projects
- Projects
Groups
- Groups
Topics
- Topics
Snippets
- Snippets

Collapse sidebar

Explore
Projects

Explore projects

All
Most starred
Trending

Any
BibTeX
C++
CSS
Coq
Dockerfile
HTML
Haskell
JavaScript
Lua
Makefile
Nix
Python
SCSS
Scala
Shell
TeX
TypeScript

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

U

Software / Unification
MIT License

Scala 3 library for generic unification

0

Updated May 11, 2023

0 0 0 0

Updated May 11, 2023