Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
Updated 2024-07-04 11:00:22 +03:00
The OpenAPI Specification Repository
Updated 2024-07-04 10:42:54 +03:00
A safe, extensible ORM and Query Builder for Rust
Updated 2024-07-04 10:24:41 +03:00
Penpot - The Open-Source design & prototyping platform
Updated 2024-07-04 10:23:20 +03:00
Free universal database tool and SQL client
Updated 2024-07-04 09:34:47 +03:00
Get up and running with Llama 2, Mistral, and other large language models locally.
Updated 2024-07-04 08:37:03 +03:00
🔥 🔥 🔥 Open Source Airtable Alternative - turns any MySQL, Postgres, SQLite into a spreadsheet with REST APIs.
Updated 2024-07-04 08:09:27 +03:00
home manager option search interface
Updated 2024-07-04 07:26:16 +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.
Updated 2024-07-04 06:51:32 +03:00
🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
Updated 2024-07-04 06:03:21 +03:00
Pure and reproducible nix overlay of binary distributed rust toolchains
Updated 2024-07-04 05:18:55 +03:00
Git with a cup of tea, painless self-hosted git service
Updated 2024-07-04 05:17:07 +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
Textual is an IRC client for OS X
Updated 2024-07-04 04:45:10 +03:00
Declarative disk partitioning and formatting using nix [maintainer=@Lassulus]
Updated 2024-07-04 04:30:46 +03:00