Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: lcf
bic-org-uk/bic-lcf
BIC Library Communication Framework
Language: C# - Size: 2.34 MB - Last synced: 11 days ago - Pushed: 11 days ago - Stars: 7 - Forks: 4
martin-eden/lcf_params_gui
GUI to generate command-line call for Lua code formatter.
Language: Lua - Size: 813 KB - Last synced: 3 months ago - Pushed: almost 4 years ago - Stars: 3 - Forks: 0
RedPRL/sml-dependent-lcf
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: about 2 months ago - Pushed: about 6 years ago - Stars: 16 - Forks: 1
c-cube/trustee
[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: 12 days ago - Pushed: 4 months ago - Stars: 11 - Forks: 2
ecomp-shONgit/gpusearch
OpenGL/GLSL implementation of longest common factor string distance (LCF/LCS/biggest Subset) search.
Language: Python - Size: 806 KB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0
ceridwen-com/lcfserver
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: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1