- Peach's Castle
-
03:48
(UTC +08:00)
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- ActionScript
- AutoHotkey
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Coq
- Dart
- Dockerfile
- EJS
- Emacs Lisp
- Flix
- GDScript
- GLSL
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Less
- Lua
- Makefile
- OCaml
- PHP
- PLpgSQL
- Perl
- PowerShell
- Python
- QuakeC
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- ShaderLab
- Shell
- Standard ML
- Stylus
- TeX
- Tree-sitter Query
- TypeScript
- Vim Script
- Vue
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
Use Gcov + LCOV/gcovr to show C/C++ projects code coverage results
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
A state charts extension for Godot 4
2x faster than JSON.stringify()
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
Online demo without installing at - https://buildit.so/tryit
Some of my snippets and other bits for the Godot game engine.
Xiaomi watchfaces editor for various watch, band models by Xiaomi
A neovim lua plugin to help easily manage multiple terminal windows
LIBPNG: Portable Network Graphics support, official libpng repository
🧠 💪 // Smart and powerful comment plugin for neovim. Supports treesitter, dot repeat, left-right/up-down motions, hooks, and more
Portable package manager for Neovim that runs everywhere Neovim runs. Easily install and manage LSP servers, DAP servers, linters, and formatters.
Further development has moved to https://github.com/williamboman/mason.nvim!
Super simple rust library to display images in the terminal
Database project of box and inventory sprites from the Pokémon core series games