Skip to content
View lijunchen's full-sized avatar

Block or report lijunchen

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

Empowering everyone to build reliable and efficient software.

Rust 100,577 12,993 Updated Jan 19, 2025

A guide to how rustc works and how to contribute to it.

HTML 1,687 522 Updated Jan 17, 2025

A MoonBit toolchain multiplexer and version manager

Rust 7 Updated Dec 25, 2024

MoonBit WASM-4 on the ESP32 series microcontroller

C 10 Updated Nov 28, 2024

A handheld Linux terminal using Raspberry pi Zero 2W as Core with 4" 720X720 TFT display

1,952 93 Updated Jan 15, 2025

The build system and package manager for MoonBit

Rust 241 24 Updated Jan 18, 2025

Various utility crates that might be useful when implementing a programming language.

Rust 5 Updated Sep 19, 2024

A language server for Standard ML.

Rust 221 12 Updated Dec 18, 2024

moved from https://sourceforge.net/p/min-caml/code/

OCaml 497 117 Updated Oct 8, 2024

My coding related blog

TypeScript 111 151 Updated Jan 19, 2025

n2 ("into"), a ninja compatible build system

Rust 390 30 Updated Jan 15, 2025

An implementation of intrusive smart pointer with weak reference support

C++ 6 Updated Jul 12, 2024

Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles

OCaml 39 11 Updated Apr 11, 2023

A garden of small programming language implementations 🪴

OCaml 185 5 Updated Jan 12, 2025

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 53,192 3,380 Updated Jan 19, 2025

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

Rust 110 9 Updated Apr 6, 2019

Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust

Rust 45 3 Updated Jun 1, 2016

Language development libraries for Rust

921 25 Updated Dec 9, 2024

Automagical variable binding library for Rust

Rust 67 7 Updated Oct 4, 2019

Pattern matching and exhaustiveness checking algorithms implemented in Rust

Rust 216 3 Updated Oct 30, 2024

Audio waveform player

TypeScript 8,981 1,656 Updated Jan 13, 2025

Minimal implementations for dependent type checking and elaboration

Haskell 625 35 Updated Sep 18, 2024

Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"

PostScript 18,384 2,224 Updated Nov 13, 2024

nanobind: tiny and efficient C++/Python bindings

C++ 2,494 208 Updated Jan 14, 2025

A new markup-based typesetting system that is powerful and easy to learn.

Rust 36,791 992 Updated Jan 16, 2025

A massively parallel, optimal functional runtime in Rust

Cuda 10,631 412 Updated Nov 21, 2024

A book about compiling Racket and Python to x86-64 assembly

TeX 1,349 143 Updated Nov 22, 2024

SIngle Level Key-value Store

C++ 9 5 Updated Nov 24, 2022

Public repository of the QuickJS Javascript Engine.

C 8,729 918 Updated Aug 14, 2024
Next
Showing results