-
SpaceX
- Seattle, WA
- http://caldercoalson.com
Stars
- All languages
- Assembly
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- D
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F*
- Go
- HTML
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Nim
- Nunjucks
- OCaml
- Objective-C
- PHP
- Perl
- Processing
- Python
- R
- Rich Text Format
- RobotFramework
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Starlark
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- VHDL
- Verilog
- Wren
- Zig
💥 Blazing fast terminal file manager written in Rust, based on async I/O.
A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs
Blazing 💥 fast terminal-ui for git written in rust 🦀
Writing an OS in 1,000 lines.
C++11/14/17 std::optional with functional-style extensions and reference support
The Rust OpenTelemetry implementation
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Font introspection, complex text shaping and glyph rendering.
Provides abstractions to run Levenberg-Marquardt optimization
A library for least squares fitting of separable, nonlinear models to data.
A machine learning compiler for GPUs, CPUs, and ML accelerators
Efficiently computes derivatives of NumPy code.
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Linear algebra package for rust-ndarray using LAPACK binding
High-performance time series downsampling algorithms for visualization
Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various…
Lean 4 programming language and theorem prover
mimalloc is a compact general purpose allocator with excellent performance.