- Japan
-
16:17
(UTC +09:00) - https://t3tra.dev/
- https://orcid.org/0009-0006-9423-1572
- @t3tra_x
- https://zenn.dev/t3tra
Highlights
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- ANTLR
- Agda
- Assembly
- Astro
- C
- C#
- C++
- CSS
- Common Lisp
- Cython
- Dart
- Dockerfile
- Elixir
- Erlang
- Fortran
- GAP
- GLSL
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- MDX
- Makefile
- Markdown
- Mathematica
- Meson
- MoonBit
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- PHP
- PostScript
- PowerShell
- Python
- Rocq Prover
- Ruby
- Rust
- SWIG
- Scala
- Shell
- Standard ML
- Svelte
- Swift
- TeX
- TypeScript
- Vue
- WebAssembly
- Zig
- mcfunction
- reStructuredText
UNIX-like reverse engineering framework and command-line toolset.
Official PyTorch implementation of "Enhancing Hands in 3D Whole-Body Pose Estimation with Conditional Hands Modulator", CVPR 2026.
Collection of library stubs for Python, with static types
The core OCaml system: compilers, runtime system, base libraries
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
AddressSanitizer, ThreadSanitizer, MemorySanitizer
An open source utility that provides fast incremental file transfer. It also has useful features for backup and restore operations among many other use cases.
SQLCipher is a standalone fork of SQLite that adds 256 bit AES encryption of database files and other security features.
a fast, scalable, multi-language and extensible build system
A modern static site generator by the Material for MkDocs team
cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…
Documentation that simply works
OpenMM is a toolkit for molecular simulation using high performance GPU code.
Python suite for neuroscience research across all modalities.
Automating the Search for Artificial Life with Foundation Models!
🕷️ An adaptive Web Scraping framework that handles everything from a single request to a full-scale crawl!
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
Copy Fail (CVE-2026-31431): 9-year-old Linux kernel LPE found by Theori's Xint Code
The Standard ML compiler that produces Lua/JavaScript
Legislación de España en Markdown, versionada como git. Cada ley es un archivo, cada reforma un commit.





