GitHub topics: lcf

GUI to generate command-line call for Lua code formatter.

Language: Lua - Size: 815 KB - Last synced at: 5 months ago - Pushed at: 6 months ago - Stars: 3 - Forks: 0

BIC Library Communication Framework

Language: C# - Size: 2.47 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 7 - Forks: 4

A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!

Language: Standard ML - Size: 1.4 MB - Last synced at: 2 months ago - Pushed at: about 7 years ago - Stars: 16 - Forks: 1

[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.

Language: OCaml - Size: 3.45 MB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 11 - Forks: 2

OpenGL/GLSL implementation of longest common factor string distance (LCF/LCS/biggest Subset) search.

Language: Python - Size: 806 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

Java reference server for the BIC Library Communication Framework. This is a mirror of the git repository available at

Language: Java - Size: 488 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

Related Keywords

ecosyste.ms