-
Dedukti Public
Forked from Deducteam/DeduktiImplementation of the λΠ-calculus modulo rewriting
OCaml Other UpdatedJun 23, 2025 -
cse3000-research-project.github.io Public
Forked from CSE3000-research-project/cse3000-research-project.github.ioTypeScript UpdatedJun 28, 2024 -
RP-PWEA-FixedPointRecursion Public
Repository for the research project "Fixed-Point (Value) Recursion with Algebraic Effects and Handlers in Haskell" by Gijs van der Heide
Haskell UpdatedJun 25, 2024 -
-
-
Java Public
Forked from TheAlgorithms/JavaAll Algorithms implemented in Java
Java MIT License UpdatedAug 20, 2020 -
{{ message }}