#
lf
Here are 93 public repositories matching this topic...
Contextual types meet mechanized metatheory!
-
Updated
May 8, 2024 - OCaml
Minimal colour highlighting for file formats in the terminal.
-
Updated
Apr 17, 2024 - Python
Determine the end-of-line format, tabs, bom, and nul characters
-
Updated
Jan 12, 2024 - Go
Improve this page
Add a description, image, and links to the lf topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the lf topic, visit your repo's landing page and select "manage topics."