Highlights
- Pro
Lists (23)
Sort Name ascending (A-Z)
AI
blog
caldav
emacs
formal verification
haskell
Homelab
julia
latex
llms
networking
nix
Note taking
nvim
obsidian
piracy
python
quantitative finance
Research challenge 22
rust
Shell,Dotfiles,Ergonomics
Theorem Proving
web3
Stars
- All languages
- Assembly
- Astro
- AutoHotkey
- Blade
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Coq
- Cuda
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F*
- Fluent
- GAP
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Lean
- LiveScript
- Lua
- MDX
- Makefile
- Markdown
- Mustache
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- Python
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Smarty
- Swift
- TeX
- TypeScript
- V
- Vim Script
- Vue
- Wren
- YAML
- hoon
Easily create type-safe `Future`s from state machines β without the boilerplate.
Port of Interactive Broker's trading API written in Rust
Automate the creation of merge proposals for scriptable changes
A tool for managing cargo workspaces and their crates, inspired by lerna
clechasseur / rs-clippy-check
Forked from actions-rs/clippy-checkπ GitHub Action for PR annotations with Rust clippy warnings
Automatic tiling window manager for macOS Γ la xmonad.
AeroSpace is an i3-like tiling window manager for macOS
A tiling window manager for macOS based on binary space partitioning
GlazeWM is a tiling window manager for Windows inspired by i3wm.
A curated list of insanely awesome libraries, packages and resources for systematic trading. Crypto, Stock, Futures, Options, CFDs, FX, and more | ιεδΊ€ζ | ιεζθ΅
Command-line interface for ChatGPT, Claude and Bard
Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.
QOwnNotes is a plain-text file notepad and todo-list manager with Markdown support and Nextcloud / ownCloud integration.
AsyncRead/AsyncWrite interface for rustls-on-Tokio
A safe and fast multi-producer, multi-consumer channel.
Open-source Rust framework for building event-driven live-trading & backtesting systems
A SIMD based black scholes pricer using the http://crates.io/wide crate