#

stelf

Here are 2 public repositories matching this topic...

stelf

standardocaml / stelf

A port of the Twelf implementation of the Logical Framework to OCaml

language programming-language ocaml logic type-theory logic-programming elf lf twelf pl logical-framework stelf

Updated May 23, 2026
OCaml

standardocaml / stelf-ts

tree-sitter stelf

Updated May 25, 2026
JavaScript

Improve this page

Add a description, image, and links to the stelf topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the stelf topic, visit your repo's landing page and select "manage topics."