Yuto Nishida's repositories
lima-nixos
True NixOS in lima, based on patryk4815/ctftools
fleeting
Discord bot that deletes messages in a channel older than k seconds
Language:Rust000
gemmini
Berkeley's Spatial Array Generator
Language:ScalaNOASSERTION000
gemmini-rocc-tests
Fork of seldridge/rocket-rocc-examples with tests for a systolic array based matmul accelerator
Language:CNOASSERTION000
luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
Language:C++MIT000
metalift
A program synthesis framework for verified lifting applications
Language:Python000
morph
NixOS deployment tool
MIT000
nix-img-do-x86-builder
Builds NixOS for x86 DigitalOcean droplets
Language:Nix000
Language:Nix000
nuenv
A Nushell environment for Nix
Language:Nushell000
nvim-jdtls
Extensions for the built-in LSP support in Neovim for eclipse.jdt.ls
Language:LuaGPL-3.0000
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:Shell000
Language:Lua000
Language:Shell000
Language:Shell000
vllm
A high-throughput and memory-efficient inference and serving engine for LLMs
Language:PythonApache-2.0000