Lists (9)
Sort Name ascending (A-Z)
Stars
- All languages
- Boogie
- C
- C#
- C++
- CMake
- CSS
- CodeQL
- Coq
- Cuda
- Dockerfile
- Go
- HTML
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- MDX
- MLIR
- Makefile
- Markdown
- Nushell
- OCaml
- PHP
- Perl
- Prolog
- Python
- Racket
- ReScript
- Rich Text Format
- RobotFramework
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sail
- Scala
- Shell
- Solidity
- Standard ML
- Starlark
- SystemVerilog
- Tcl
- TeX
- TypeScript
- VHDL
- Verilog
- Zig
Empowering everyone to build reliable and efficient software.
Lightning-fast and Powerful Code Editor written in Rust
Qdrant - High-performance, massive-scale Vector Database and Vector Search Engine for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/
A high-performance observability data pipeline.
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
open source training courses about distributed database and distributed systems
Rust RPC framework with high-performance and strong-extensibility for building micro-services.
Parseable is an observability datalake built from first principles.
KCL Programming Language Core and API (CNCF Sandbox Project). https://kcl-lang.io
Rust mid-level IR Abstract Interpreter
DatenLord, Computing Defined Storage, an application-orientated, cloud-native distributed storage system
A Rust implementation of the Starlark language
Intermediate Language (IL) for Hardware Accelerator Generators
Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.
Low Level Hardware Description — A foundation for building hardware design tools.
A Rust library for manipulating and evaluating Boolean expressions and BDDs