Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- ActionScript
- C
- C#
- C++
- CSS
- CoffeeScript
- Crystal
- Dart
- Erlang
- F#
- Fancy
- Go
- HTML
- Handlebars
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- LiveScript
- Lua
- MATLAB
- Makefile
- OCaml
- Objective-C
- PHP
- Perl
- Python
- R
- Rich Text Format
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Svelte
- Swift
- Tcl
- TeX
- TypeScript
- VHDL
- Vala
- Vim Script
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
Easy-to-use Rust bindings to the Whisper.cpp machine learning transcription library!
Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.
Attribute macro to require that the compiler prove a function can't ever panic
Graft is an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, offline-first, and distributed applications.
Turso is an in-process SQL database, compatible with SQLite.
A Git-compatible VCS that is both simple and powerful
A repository of Maker Skill Trees and templates to make your own.
A turndown.js inspired HTML to Markdown converter for Rust
A simple API client (postman like) in your terminal
LLocalSearch is a completely locally running search aggregator using LLM Agents. The user can ask a question and the system will use a chain of LLMs to find the answer. The user can see the progres…
The book "Performance Analysis and Tuning on Modern CPU"
Generate client libraries that are featureful, human, well-documented, and async based on OpenAPI specs
3D LEGO models and mosaics from images using R and #tidyverse
Type-safe, extensible, and high-performance background processing library for Rust
Open source application for creating free invoices and receipts
Generate 3D objects conditioned on text or images
A Ruby language server for large codebases
An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.