Rust-based platform for the Web
babel
compiler
ecmascript
ecmascript-parser
javascript
parser
rust
starred-repo
starred-swc-project-repo
swc
typescript
typescript-compiler
typescript-parser
Updated 2024-07-07 10:16:19 +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-07-07 10:06:35 +03:00
Hurl, run and test HTTP requests with plain text.
starred-repo
cli
testing
http
curl
http-client
api-testing
integration-testing
testing-tools
starred-orange-opensource-repo
Updated 2024-07-07 07:00:31 +03:00
Yet another cross-platform graphical process/system monitor.
Updated 2024-07-07 06:45:50 +03:00
💥 Blazing fast terminal file manager written in Rust, based on async I/O.
starred-repo
rust
linux
terminal
tui
macos
windows
file-manager
concurrency
asyncio
yazi
starred-sxyazi-repo
Updated 2024-07-07 05:30:03 +03:00
A post-modern modal text editor.
Updated 2024-07-07 05:24:04 +03:00
A fast, friendly, functional language. Work in progress!
Updated 2024-07-07 04:52:38 +03:00
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
starred-repo
hacktoberfest
rust
fish
fish-prompt
fish-theme
bash
zsh
oh-my-zsh
powershell
shell-prompt
starship
zsh-prompt
zsh-theme
starred-starship-repo
Updated 2024-07-07 04:51:09 +03:00
🤖 Just a command runner
Updated 2024-07-07 02:15:18 +03:00
A Git-compatible VCS that is both simple and powerful
Updated 2024-07-07 01:13:12 +03:00
A new type of shell
Updated 2024-07-06 22:47:39 +03:00
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Updated 2024-07-06 21:05:10 +03:00
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Updated 2024-07-06 21:05:10 +03:00
A Scalable, User-Friendly Source Control System.
Updated 2024-07-06 19:31:30 +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-06 17:37:02 +03:00
A scrollable-tiling Wayland compositor.
Updated 2024-07-06 17:20:19 +03:00
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Updated 2024-07-06 17:04:42 +03:00
A new markup-based typesetting system that is powerful and easy to learn.
Updated 2024-07-06 16:45:19 +03:00
Lightning-fast and Powerful Code Editor written in Rust
Updated 2024-07-06 15:31:24 +03:00