3 Search Results
dolmen_lsp
A LSP server for automated deduction languages
kdl
An implementation of the KDL document laguage
labrys
A toy language based on LLVM that implements the System Fω type-system