-
SpaceX
- Seattle, WA
- http://caldercoalson.com
Stars
- All languages
- Assembly
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- D
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F*
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Nim
- Nunjucks
- OCaml
- Objective-C
- PHP
- Perl
- Processing
- Python
- R
- Rich Text Format
- RobotFramework
- Ruby
- Rust
- SWIG
- Scala
- Scheme
- Shell
- Starlark
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- VHDL
- Verilog
- WebAssembly
- Wren
- Zig
SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/
Wasm-DSL / spectec
Forked from WebAssembly/specWasm SpecTec specification tools
A topic-centric list of HQ open datasets.
Geospatial Rendering in Three.js
A personal web space for digital gardening β local-first Content Management System.
The zero configuration build tool for the web. π¦π
The fast Rust-based JavaScript bundler with webpack-compatible API π¦οΈ
Extremely fast Vite-compatible web build tool written in Rust
Share terminal sessions via SVG and CSS
π¦ Record your terminal and generate animated gif images or share a web player
Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
Push docker images directly to remote servers without an external registry
π Modern open-source fitness coaching platform. Create workout plans, track progress, and access a comprehensive exercise database.
An ASN1 compiler producing Rust bindings for the rasn framework
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, Tβ¦