🤖 Just a command runner
Updated 2024-07-01 21:36:28 +03:00
Lightning-fast and Powerful Code Editor written in Rust
Updated 2024-07-01 20:34:39 +03:00
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
Updated 2024-07-01 17:09:26 +03:00
A command-line benchmarking tool
Updated 2024-07-01 14:22:08 +03:00
A syntax-highlighting pager for git, diff, and grep output
starred-repo
rust
git
pager
color-themes
delta
diff
git-delta
syntax-highlighter
starred-dandavison-repo
Updated 2024-07-01 09:36:41 +03:00
Blazing 💥 fast terminal-ui for git written in rust 🦀
starred-repo
hacktoberfest
rust
terminal
tui
git
bash
command-line-tool
async
command-line-interface
starred-extrawurst-repo
Updated 2024-07-01 09:32:17 +03:00
A simple multi-profile Nix-flake deploy tool.
Updated 2024-07-01 05:00:37 +03:00
An interactive cheatsheet tool for the command-line
starred-repo
cli
rust
terminal
command-line
shell
bash
snippets
cheatsheets
snippet
starred-denisidoro-repo
Updated 2024-06-30 17:11:42 +03:00
Rust native ready-to-use NLP pipelines and transformer-based models (BERT, DistilBERT, GPT2,...)
starred-repo
rust
machine-learning
deep-learning
rust-lang
gpt
gpt-2
translation
bart
bert
electra
language-generation
ner
nlp
question-answering
roberta
sentiment-analysis
transformer
starred-guillaume-be-repo
Updated 2024-06-30 10:41:10 +03:00
a structural diff that understands syntax 🟥🟩
Updated 2024-06-30 09:12:32 +03:00
Unix-like kernel written in Rust
Updated 2024-06-29 20:37:57 +03:00
Unix-like kernel written in Rust
Updated 2024-06-29 20:37:57 +03:00
A modern proof language
starred-repo
functional-programming
dependent-types
formality
lambda-calculus
moonad
proof-language
proof-languages
theorem-prover
type-theory
starred-kindelia-repo
Updated 2024-06-28 18:31:06 +03:00
A next-gen functional language
starred-repo
functional-programming
dependent-types
lambda-calculus
type-theory
formality
moonad
proof-language
proof-languages
theorem-prover
starred-kindelia-repo
Updated 2024-06-28 18:31:06 +03:00
A next-gen functional language
starred-repo
functional-programming
dependent-types
lambda-calculus
type-theory
formality
moonad
proof-language
proof-languages
theorem-prover
starred-higherorderco-repo
Updated 2024-06-28 18:31:06 +03:00
A terminal workspace with batteries included
Updated 2024-06-28 17:48:49 +03:00
Just One Single History
Updated 2024-06-27 12:25:02 +03:00
Air-gapped crypto wallet.
Updated 2024-06-25 05:47:34 +03:00
Air-gapped crypto wallet.
Updated 2024-06-25 05:47:34 +03:00
Fast full-text search engine
Updated 2024-06-24 15:36:12 +03:00