-
NTT
- Tokyo, Japan
-
19:05
(UTC +09:00) - @_AkihiroSuda_
- @AkihiroSuda@mastodon.social
- https://medium.com/@AkihiroSuda
Highlights
Stars
- All languages
- Agda
- Assembly
- Awk
- C
- C#
- C++
- CMake
- CSS
- CUE
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Dafny
- Dhall
- Dockerfile
- Emacs Lisp
- Erlang
- F*
- Gherkin
- Go
- Groff
- Groovy
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Just
- Lex
- Lua
- Makefile
- Markdown
- Mathematica
- Mermaid
- Meson
- Nix
- OCaml
- Objective-C
- Objective-C++
- PHP
- Perl
- PowerShell
- Python
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Slim
- Swift
- TLA
- TeX
- TypeScript
- Verilog
- Vim Script
- Vue
Run a privacy-first AI coding agent directly in your browser with Python and local filesystem access.
Run nested VMs on cloud providers that don't support nested virtualization.
Damn Vulnerable MCP Server
📦 Produce secure packages and containers with declarative configurations
µBPF - a framework for microcontroller compartmentalization using eBPF
All-in-one LLM CLI tool featuring Shell Assistant, Chat-REPL, RAG, AI Tools & Agents, with access to OpenAI, Claude, Gemini, Ollama, Groq, and more.
Lima template for NixOS that serves as a remote docker daemon and a nix linux builder
Borgo is a statically typed language that compiles to Go.
The S2C2F Project is a group working within the OpenSSF's Supply Chain Integrity Working Group formed to further develop and continuously improve the S2C2F guide which outlines and defines how to s…
XNU kernel, Kernel Collection and CodeQL build scripts
Forensic tool to read all installed packages from a mounted Arch Linux drive and compare the filesystem to a trusted source
Go bindings for WebGPU, a safe & cross-platform GPU abstraction
[WIP] Demo of a minimal but functional Dawn-based WebGPU client and server
CMake files that provide WebGPU for native and web development, easy-to-integrate and unified across implementations.