-
-
-
-
logical_verification_2023 Public
Forked from blanchette/logical_verification_2023Hitchhiker's Guide to Logical Verification (2023 Edition)
Lean UpdatedNov 22, 2023 -
-
sixty Public
Forked from ollef/sixtyDependent type checker using normalisation by evaluation
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 27, 2023 -
SplittableMadness Public
Forked from Saifreid/SplittableMadnessThis was a project for IST 242
Java UpdatedMay 22, 2023 -
Arend Public
Forked from JetBrains/ArendThe Arend Proof Assistant
Java Apache License 2.0 UpdatedJul 15, 2022 -
java-strictly-pretty Public
A Java implementation of Scala's (now deprecated) text prettyprinting package using pattern matching
Java ISC License UpdatedMay 27, 2022 -
toy-language-server Public
Forked from bkomuves/toy-language-serverExample language server (LSP) implementation for a toy language
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 21, 2021 -
-
resolve-studio Public
Forked from JetBrains/intellij-communityIntelliJ IDEA Community Edition
Java Apache License 2.0 UpdatedAug 29, 2019