WoWwww
Sophomore undergraduate @HIT-SE. Member of @h1trust. Coding for fun.
-
Harbin Institute of Technology
- China
- https://leolanger.github.io/
- @ileolanger
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- Dart
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- Go
- HTML
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- LLVM
- Lean
- MDX
- Makefile
- Markdown
- Nix
- OCaml
- Odin
- Pug
- PureScript
- Python
- Racket
- ReScript
- Reason
- Rich Text Format
- Rocq Prover
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- Verilog
- Vim Script
- Vue
Starred repositories
8
results
for forked starred repositories
Clear filter
rcore-os / executor
Forked from richardanaya/executorAn async/await executor for Rust
idris-community / inigo
Forked from bbarker/inigoInigo: A Package Manager for Idris2
rust-lang / arewewebyet
Forked from chris-morgan/arewewebyetAre we web yet? A simple reckoning of Rust's readiness for Web-related things.
esp-rs / rust
Forked from rust-lang/rustRust for the xtensa architecture. Built in targets for the ESP32 and ESP8266
十分钟魔法练习
rust-osdev / cargo-xbuild
Forked from japaric/xargoAutomatically cross-compiles the sysroot crates core, compiler_builtins, and alloc.
raptazure / waka-box
Forked from matchai/waka-box📊 Update a pinned gist to contain your weekly WakaTime stats
leolanger / portable_docs
Forked from lambda-magic/plt-booksBooks, piano sheets and more...