okfy

(★ 14)

Knowledge engineering for AI agents: distill corpora too big for any context window into small, verified, git-native knowledge bundles

Owner Repos

strata-k ★ 9

A stratified, semiring-parameterized Datalog and its reference engine — the symbolic core of a neuro-symbolic logic system. Bool/Trop semirings, stratified negation, aggregates, exact probabilistic (?prob) queries, and a stable-model (@asp) solver.

Rust

File Explorer

ZIP Download
  • .gitignore
  • LICENSE
  • README.md

# Use via CDN

jsDelivr

jsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.

Link
Example

Command Glossary

Commands referenced in this DOCs, explained below.

🔍

chars

View Details ▼

Display names and codes for various ASCII and Unicode characters and code points.

chars '{{ß}}'

Look up a character by its value:

chars {{U+1F63C}}

Look up a character by its Unicode code point:

chars {{10}}

Look up possible characters given an ambiguous code point:

🔍

done

View Details ▼

This shell keyword is used with `for`, `while`, `select`, and `until` to mark the end of a loop.

tldr for

View documentation for the `for` keyword:

tldr while

View documentation for the `while` keyword:

tldr select

View documentation for the `select` keyword:

🔍

eval

View Details ▼

Execute arguments as a single command in the current shell and return its result.

eval "{{echo foo}}"

Call `echo` with the "foo" argument:

eval "{{foo=bar}}"

Set a variable in the current shell:

🔍

expand

View Details ▼

Convert tabs to spaces.

expand {{path/to/file}}

Convert tabs in each file to spaces, writing to `stdout`:

expand {{path\to\file.cab}} {{path\to\directory}}

Uncompress a single-file Cabinet file to the specified directory:

expand

Convert tabs to spaces, reading from `stdin`:

🔍

git clone

View Details ▼

Clone an existing repository.

git clone {{remote_repository_location}} {{path/to/directory}}

Clone an existing repository into a new directory (the default directory is the repository name):

git clone --recursive {{remote_repository_location}}

Clone an existing repository and its submodules:

git clone {{[-n|--no-checkout]}} {{remote_repository_location}}

Clone only the `.git` directory of an existing repository:

🔍

git ls-files

View Details ▼

Show information about files in the index and the working tree.

git ls-files {{[-d|--deleted]}}

Show deleted files:

git ls-files {{[-m|--modified]}}

Show modified and deleted files:

git ls-files {{[-o|--others]}}

Show ignored and untracked files:

🔍

split

View Details ▼

Split a file into pieces.

split {{[-l|--lines]}} 10 {{path/to/file}}

Split a file, each split having 10 lines (except the last split):

split -l 10 {{path/to/file}}

Split a file, each split having 10 lines (except the last split):

split {{[-n|--number]}} 5 {{path/to/file}}

Split a file into 5 files. File is split such that each split has same size (except the last split):

🔍

uv tool

View Details ▼

Install and run commands provided by Python packages.

uv tool run {{command}}

Run a command from a package, without installing it:

uv tool install {{package}}

Install a Python package system-wide:

uv tool upgrade {{package}}

Upgrade an installed Python package:

// repository documentation