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
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
qmk_firmware_sonix
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:CGPL-2.0000
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