- são paulo, brazil
- gabx.io
- @io_gabx
- in/aripiprazole
Lists (2)
Sort Name ascending (A-Z)
Stars
- All languages
- ANTLR
- Agda
- Assembly
- Batchfile
- Blade
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Dart
- Elixir
- Emacs Lisp
- F#
- Factor
- Fennel
- Flix
- Frege
- Go
- Go Template
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- Markdown
- Mercury
- Nim
- Nix
- OCaml
- Objective-C
- Odin
- PHP
- PowerShell
- Prolog
- Python
- QML
- ReScript
- Reason
- Rocq Prover
- Ruby
- Rust
- Scala
- Shell
- Standard ML
- Starlark
- Svelte
- Swift
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- V
- Verilog
- Vim Script
- Vue
- WebAssembly
- Yacc
- Zig
- hoon
Jsonnet library for generating Grafana dashboards.
🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…
Gossip-based service discovery (and more) for large distributed systems.
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
A library for building dynamic webapps, using Js_of_ocaml
Create a initrd to be used with Firecracker VMM
Grafeo is a pure-Rust, high-performance graph database that can be embedded as a library or run as a standalone database, with optional in-memory or persistent storage. Grafeo supports both LPG and…
🧱 easy fast local-first microVM runtime and library
A cross-platform tun/tap interface infrastructure powered by Rust
A fast, full-featured Elixir LSP optimized for large codebases.
Property-based testing for web and terminal UIs
Algorithm powering the For You feed on X
A Language Server for Postgres
A fast and safe implementation of stackful coroutines in Rust
Distributed Firecracker VM Orchestrator written in Elixir