8000 LittleJianCH (简) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View LittleJianCH's full-sized avatar
🫥
Working
🫥
Working

Organizations

@vidar-team @cicada-lang

Block or report LittleJianCH

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Collection of TypeScript type challenges with online judge

TypeScript 45,890 5,006 Updated Jul 7, 2025

🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/

Haskell 140 2 Updated Jun 22, 2025

Pacman-like syntax wrapper for many package managers.

Rust 390 10 Updated Jul 7, 2025

Models of dependent type theory

Typst 13 Updated Jul 7, 2025

Format Rust code

Rust 6,355 933 Updated Jun 21, 2025

Formatting technology for Swift source code

Swift 2,715 248 Updated Jul 8, 2025

The Swift Programming Language

C++ 68,802 10,497 Updated Jul 8, 2025

Moonbit version of LLVM

MoonBit 11 1 Updated Jul 7, 2025

A type-checked alternative to cfg(feature)

Rust 20 Updated Jun 5, 2025

Create ridiculously fast Lexers

Rust 3,199 139 Updated Jun 23, 2025

A Lean companion to Analysis I

Lean 889 108 Updated Jul 8, 2025

所有小初高、大学PDF教材。

Roff 44,100 9,862 Updated May 18, 2025

Staging repo for development of native port of TypeScript

Go 21,141 659 Updated Jul 8, 2025

A repo containing notes about the TypeScript Compiler codebase

JavaScript 673 25 Updated Jun 19, 2023

LSP wrapper for typescript extension of vscode

TypeScript 735 11 Updated Jul 2, 2025

Defines a common protocol for language servers.

HTML 11,996 872 Updated Jun 25, 2025

🤖 Just a command runner

Rust 26,365 561 Updated Jul 7, 2025

✨ Monorepo for all the tooling which enables ESLint to support TypeScript

TypeScript 15,807 2,801 Updated Jul 8, 2025
MoonBit 3 Updated May 7, 2025

Visual Studio Code

TypeScript 174,319 33,550 Updated Jul 8, 2025

TypeScript & JavaScript Language Server

TypeScript 2,171 170 Updated Jul 7, 2025

Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on node.js

TypeScript 1,609 353 Updated Jun 30, 2025

A JavaScript engine optimized for running React Native.

C++ 10,362 692 Updated Jul 7, 2025

Xcode 4 Syntax Coloring for Lua

Shell 34 11 Updated Jan 17, 2013

A langspec-ish thing for Daniel

Shell 21 3 Updated Dec 3, 2021

Xcode Syntax Highlighting for Lua

Shell 27 5 Updated Jun 15, 2023

Language Server Protocol implementation for Swift and C-based languages

Swift 3,557 314 Updated Jul 8, 2025
JavaScript 12 8 Updated Jan 6, 2023

A persistent, RRB-Tree based vector for Rust

Rust 14 1 Updated Jun 5, 2025

Curses-based (and pick-based) interactive picker for the terminal. Now covering trees also!

Python 20 4 Updated Jul 27, 2024
Next
0