- Tokyo, Japan
-
12:11
(UTC +09:00) - https://bsky.app/profile/kubo39.bsky.social
Lists (3)
Sort Name ascending (A-Z)
- All languages
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Coq
- Crystal
- Cuda
- D
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- GLSL
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- PLpgSQL
- Pony
- Prolog
- Python
- QML
- R
- Racket
- ReScript
- Reason
- Rust
- SMT
- Sage
- Scala
- Scheme
- Shell
- Solidity
- Swift
- TLA
- TeX
- TypeScript
- V
- Vala
- WebAssembly
- XSLT
- Zig
Starred repositories
Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latenc…
Interact with ethereum and EVM based chains via Zig!
An experimental modern general-purpose microkernel OS.
Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
High-performance, durable, transactional embedded storage engine designed for flash and RAM optimization.
A WHATWG-compliant HTML5 tokenizer and tag soup parser
a tool for reinterpreting ELF executables and shared libraries
Fast, efficient, and robust memory reclamation for Rust.
A jq clone focussed on correctness, speed, and simplicity
Transports, Middleware, and Networks for the Alloy project
Reservoir logic for understanding spatio/tempral resampling
🗻 LSM-based embeddable key-value storage engine written in safe Rust
A declarative cross-platform user interface library for D. Mirrored from Gitea.
A native, user-mode, multi-process, graphical debugger.
Lightweight, HTTP server written in Swift using async/await.
List system USB buses and devices. A modern cross-platform lsusb that attempts to maintain compatibility with, but also add new features
Language for high-assurance and high-speed cryptography