Harness the power of Nix
Updated 2024-07-02 13:57:06 +03:00
🐢 Magical shell history
Updated 2024-07-02 13:36:22 +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-02 13:26:27 +03:00
A scalable, distributed, collaborative, document-graph database, for the realtime web
starred-repo
hacktoberfest
web
database
sql
developer-tools
distributed
backend-as-a-service
cloud-database
collaborative
database-as-a-service
devtools
distributed-database
document-database
graph-database
iot-database
nosql
realtime-database
serverless
surreal
surrealdb
starred-surrealdb-repo
Updated 2024-07-02 13:17:04 +03:00
A lightning-fast search engine that fits effortlessly into your apps, websites, and workflow.
starred-repo
rust
database
api
search
search-engine
rest
customizable
app-search
easy-to-use
enterprise-search
faceting
full-text-search
geosearch
instantsearch
out-of-the-box
search-as-you-type
site-search
synonyms
typo-tolerance
starred-meilisearch-repo
Updated 2024-07-02 13:11:44 +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-02 13:06:35 +03:00
A Scalable, User-Friendly Source Control System.
Updated 2024-07-02 12:13:27 +03:00
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-02 12:00:17 +03:00
A post-modern modal text editor.
Updated 2024-07-02 11:36:29 +03:00
A scrollable-tiling Wayland compositor.
Updated 2024-07-02 11:30:39 +03:00
Build smaller, faster, and more secure desktop applications with a web frontend.
starred-repo
hacktoberfest
rust
high-performance
webview
works-with-clojurescript
works-with-construct
works-with-elm
works-with-flutter
works-with-gatsby
works-with-mint
works-with-phaser
works-with-quasar
works-with-react
works-with-reason
works-with-svelte
works-with-vue
works-with-yew
starred-tauri-apps-repo
Updated 2024-07-02 09:11:25 +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-02 06:30:03 +03:00
A Git-compatible VCS that is both simple and powerful
Updated 2024-07-02 06:05:08 +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-02 06:01:44 +03:00
A fast, friendly, functional language. Work in progress!
Updated 2024-07-02 06:00:14 +03:00
not really known
Updated 2024-07-02 02:52:53 +03:00
A highly customizable Changelog Generator that follows Conventional Commit specifications ⛰️
starred-repo
rust
hacktoberfest
changelog
changelog-generator
commit
conventional-changelog
conventional-commits
generator
keepachangelog
semver
starred-orhun-repo
Updated 2024-07-02 01:51:50 +03:00
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Updated 2024-07-02 01:45:00 +03:00
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Updated 2024-07-02 01:45:00 +03:00
Health checks for your Nix flakes
Updated 2024-07-02 01:32:25 +03:00