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-04 16:46:27 +03:00
A Git-compatible VCS that is both simple and powerful
Updated 2024-07-04 16:38:43 +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-04 16:31:36 +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-04 16:16:42 +03:00
A massively parallel, high-level programming language
Updated 2024-07-04 14:51:28 +03:00
Better configuration for less
Updated 2024-07-04 14:46:24 +03:00
A new markup-based typesetting system that is powerful and easy to learn.
Updated 2024-07-04 13:57:40 +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-04 13:47:38 +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-04 13:40:02 +03:00
A Scalable, User-Friendly Source Control System.
Updated 2024-07-04 13:31:22 +03:00
Harness the power of Nix
Updated 2024-07-04 13:13:39 +03:00
Yet another cross-platform graphical process/system monitor.
Updated 2024-07-04 11:50:05 +03:00
🚀 The leading WebAssembly Runtime supporting WASI and Emscripten
Updated 2024-07-04 11:35:11 +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-04 11:02:19 +03:00
A safe, extensible ORM and Query Builder for Rust
Updated 2024-07-04 10:24:41 +03:00
LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.
starred-repo
self-hosted
developer-tools
ai
ide
llm
openai
lsp
llama
mistral
auto-completion
language-client
llamacpp
starred-silasmarvin-repo
Updated 2024-07-04 06:51:32 +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-04 04:54:41 +03:00
A fast, friendly, functional language. Work in progress!
Updated 2024-07-04 04:05:59 +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-04 01:08:11 +03:00
A new type of shell
Updated 2024-07-04 00:02:13 +03:00