-
Tsinghua University / @tuna
- Beijing, China
- https://c-3.moe
- https://orcid.org/0009-0007-5045-7884
Stars
- All languages
- ActionScript
- Agda
- Alloy
- Assembly
- Awk
- Batchfile
- Bluespec
- C
- C#
- C++
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Dart
- Dockerfile
- Elm
- Emacs Lisp
- FreeMarker
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- OpenSCAD
- PHP
- Pascal
- Python
- RPM Spec
- ReScript
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- Sage
- Sail
- Scala
- Shell
- Svelte
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- Typst
- VHDL
- Verilog
- Vim Script
- Vue
A bot to provide CJK optimized searching for telegram chats.
TypeScript Language Service plugin for YAML
The ISA specification for the Zalasr extension.
This repository contains the source code of toro unikernel
A futuristic filesystem that's stuck in the past.
The Free Software Media System - Server Backend & API
đť‘›-Body and Extended Body Gravitation for Kerbal Space Program
A cross-platform tun/tap interface infrastructure powered by Rust
The unofficial Hentai@Home client written in Rust
Framework independent router for web-components based apps
Sync PyPI (or plain HTTP(S) PyPI mirrors using Shadowmire) with a lightweight and easy approach
Asynchronous allocation of TUN/TAP devices in Rust using tokio
A pure-Rust implementation of group operations on Ristretto and Curve25519
TwoKey: Cross-platform FIDO2 / WebAuthn Security Key Manager over USB / NFC
FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs
ComfyUI-Manager is an extension designed to enhance the usability of ComfyUI. It offers management functions to install, remove, disable, and enable various custom nodes of ComfyUI. Furthermore, th…
AI based multi-label girl image classification system, implemented by using TensorFlow.
revolutionary new technology that turns any image into obama
WinDirStat is a disk usage statistics viewer and cleanup tool for Microsoft Windows