-
Tsinghua University
- Beijing
-
15:22
(UTC -12:00) - https://gravifer.cyou
- @UnderlingOfNPU
- https://gravifer.jetbrains.space/
- https://t.me/gravifer_chan
Lists (8)
Sort Name ascending (A-Z)
Bag'o'tricks
Tools that just workBleeding edge
What's the buzz? Tell me what's-a happening?Infrastructure
LOL
Mind of the Jedi
Codes that you got to learn fromPersonal Work
Ball 'n' ChainsPillar of Shame
Relic
Memories of the technological history- All languages
- AMPL
- ANTLR
- ASP.NET
- Ada
- Agda
- AppleScript
- Arc
- Assembly
- AutoHotkey
- Awk
- BQN
- Batchfile
- BibTeX Style
- BitBake
- Brainfuck
- C
- C#
- C++
- C3
- CMake
- COBOL
- CSS
- CWeb
- Clojure
- CoffeeScript
- Common Lisp
- Common Workflow Language
- Coq
- Crystal
- Cuda
- Cython
- D
- Dafny
- Dart
- Dhall
- Diff
- Dockerfile
- Eiffel
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Flix
- Fluent
- Forth
- Fortran
- GAP
- GDScript
- GLSL
- Go
- Groovy
- HCL
- HTML
- Haskell
- Hy
- Idris
- Jai
- Janet
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Koka
- Kotlin
- LLVM
- Lean
- Less
- Liquid
- Lua
- M
- M4
- MATLAB
- MDX
- MLIR
- Macaulay2
- Makefile
- Markdown
- Mathematica
- Mercury
- Mojo
- MoonBit
- NSIS
- Nim
- Nix
- Nushell
- OCaml
- Objective-C
- Odin
- OpenSCAD
- PHP
- PLpgSQL
- Pascal
- Perl
- Pony
- PostScript
- PowerShell
- Praat
- Processing
- Prolog
- PureScript
- Python
- QML
- R
- RMarkdown
- Racket
- Raku
- ReScript
- Reason
- Ren'Py
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SRecode Template
- Sass
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Stylus
- Svelte
- Swift
- SystemVerilog
- TLA
- TSQL
- Tcl
- TeX
- Text
- Tree-sitter Query
- TypeScript
- Typst
- V
- VBA
- VBScript
- Vala
- Verilog
- Vim Script
- Visual Basic
- Visual Basic .NET
- Vue
- WebAssembly
- Wolfram Language
- Wren
- XML
- XSLT
- YAML
- Zig
- reStructuredText
Starred repositories
Slap your MacBook, it yells back. Uses Apple Silicon accelerometer via IOKit HID.
Allegedly, a minimal, Pythonic TUF client can be written on a long flight. This was written after that flight, but hey, it's a shot.
Collection of library stubs for Python, with static types
Generate hands-on, multi-part technical tutorials on demand, with LLM skills tuned to make content approachable. Then you work through them yourself, by hand ✋
A community trust management system based on explicit vouches to participate.
Sandbox Science is an interactive platform designed to make learning and exploring scientific concepts fun and accessible. The platform offers a variety of simulations, from cellular automata like …
Copilot Proxy is a Visual Studio Code extension that exposes the VS Code Language Model API via an Express server. This experimental extension is intended solely for research and prototyping purpos…
Portable C and C++ Development Kit for x64 (and x86) Windows
Turn GitHub Copilot into OpenAI/Anthropic API compatible server. Usable with Claude Code!
Kyma is an opinionated set of Kubernetes-based modular building blocks, including all necessary capabilities to develop and run enterprise-grade cloud-native applications.
A raster image editor extension for VS Code
VS Code extension for building web applications ("swings") using a interactive and editor-integrated coding environment
GitHub Issues Notebooks for VS Code
A Visual Studio Code extension with support for the Ruff linter.
Student version of Assignment 1 for Stanford CS336 - Language Modeling From Scratch
This tool helps you farm XP, Streaks, and Gems on Duolingo.
AssetStudio is a tool for exploring, extracting and exporting assets and assetbundles.
A modern Python package and dependency manager supporting the latest PEP standards
Cleo allows you to create beautiful and testable command-line interfaces.
Library and command-line utility for rendering projects templates.
A module for python implementing the OKLCH color space as described by Björn Ottosson, along with various tools for manipulating color objects.
🍭 Wow, such a lovely HTML5 danmaku video player

