3 Search Results
dolmen_lsp
A LSP server for automated deduction languages
logic computation automated theorem prover lsp language server protocol
Guillaume Bury <guillaume.bury@gmail.com>
0.8
BSD-2-Clause
Used by 0 other packages
kdl
An implementation of the KDL document laguage
configuration-language serialization-language
github.com/Bannerets <comonoid@protonmail.com>
0.1.0
MIT
Used by 0 other packages
labrys
A toy language based on LLVM that implements the System Fω type-system
compiler System F System Fω llvm type-system language
Kate <kit.ty.kate@disroot.org>
0.1
MIT
Used by 0 other packages