Stars
- All languages
- Agda
- Assembly
- Awk
- C
- C#
- C++
- CSS
- Clojure
- Coq
- Emacs Lisp
- Fortran
- GDScript
- Go
- HTML
- Haskell
- Idris
- Io
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Lean
- Lua
- Markdown
- MoonBit
- Nix
- OCaml
- PLpgSQL
- Prolog
- Python
- Racket
- Reason
- Rich Text Format
- Rocq Prover
- Roff
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smalltalk
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- Typst
- Verilog
- Vue
- WebAssembly
- Yacc
- Zig
Collection of TypeScript type challenges with online judge
🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
Pacman-like syntax wrapper for many package managers.
Formatting technology for Swift source code
Staging repo for development of native port of TypeScript
A repo containing notes about the TypeScript Compiler codebase
LSP wrapper for typescript extension of vscode
Defines a common protocol for language servers.
✨ Monorepo for all the tooling which enables ESLint to support TypeScript
TypeScript & JavaScript Language Server
Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on node.js
A JavaScript engine optimized for running React Native.
Xcode Syntax Highlighting for Lua
Language Server Protocol implementation for Swift and C-based languages
Curses-based (and pick-based) interactive picker for the terminal. Now covering trees also!