Discover @xieyuheng Open Source projects

谢宇恒 / Xie Yuheng (@xieyuheng)

xieyuheng

Stars
518
Global Rank 55,974 (Top 2 %)
Followers 527
Following 834
Registered over 11 years ago
Most used languages

TypeScript
34.8 %

HTML
12.1 %

Scheme
7.6 %

Rust
6.1 %

Vue 6.1 %

JavaScript
4.5 %

Shell
4.5 %

Agda 3.0 %

C
3.0 %

Emacs Lisp
3.0 %

Scala
3.0 %

PHP
1.5 %

TeX
1.5 %

Elixir
1.5 %

Idris 1.5 %

OCaml
1.5 %

TSQL 1.5 %

C++
1.5 %

Python
1.5 %
Location 🇨🇳 China
Country Total Rank 9,017
Country Ranking

Agda 1

Idris 5

OCaml
13

Scheme
29

Elixir
38

Scala
71

Emacs Lisp
209

TSQL 346

Rust
396

TypeScript
831

Vue 1,002

HTML
1,682

TeX
1,715

C
2,388

Shell
3,134

PHP
6,900

C++
9,066

study

Study of language design and implementation.

x-editor

A text editor embedded in the browser, while still can edit your local files. | Preview Markdown | View image | Listen audio | Watch video

postmark

A framework for building markdown extensions.

joy

backup of the joy programming language

tangle-rs

a collection of tools to do tangle in rust

x-server

A website server that supports serving many websites using subdomain-based routing.

luoxu-search

ty

Validate untyped data and return well typed result.

cell-complex

Libraries and tools for topological and geometric modeling.

logic-db

Embedding a Prolog-like logic programming language in JavasScript and TypeScript.

cat

A categorical semantics library in Agda.

cicada-nymph

a forth like language written in fasm assembler

analytic-geometry

A program to draw analytic geometry graphs on canvas.

exo

logic programming in elixir

threaded-code-interpreter

embed threaded-code-interpreter in other languages, and anything about threaded-code-interpreter.

rc1

recursive-combinator for js (prototype 1)

cicada-monologues

learn-x

the-programmer-s-oath

the programmer's oath

jojo-history

history of jojo's bizarre programming adventure

tartlet

dependently-typed language (baking little pie) in javascript

inspiring-designs

A collection of inspiring designs.

dance-with-expressions

式之舞 / Dance with Expressions

inner

Ones Inner Universe.

lowdim

Low dimensional topology and geometry.

to-deal-with-managers

notes about dealing with managers

music-diary

cicada-rs

old cicada attempt in rs

conf

readable-regular-expression

didactic-art-of-the-little-books

sequent1

a prototype functional language

learner

A machine learning library learned from "The Little Learner".

enchanter

Enchanter is web (and console) application framework with powerful spells! 🪄

awesome-why

为什么之空耳与猎奇

ikarus

cicada-mode

emacs mode to edit cicada code

platform-sutra

x-markdown

A stable Markdown AST to protect myself from switching upstream parser and upstream API changes.

x-proxy

A reverse proxy to let people host databases and websites on their own machine.

agda-oplss13

to learn agda with Dan Licata and Ian Voysey ^-^

eshell

image-link

plaintext

A group of command line tools to publish plaintext docs on the internet.

kanren

Backup of old Kanren code

biysc2021-notes

test-runner

A Test Runner for Node.js.

collective-code-construction-contract

The Collective Code Construction Contract (C4) is an evolution of the github.com Fork + Pull Model, aimed at providing an optimal collaboration model for free software projects.

dustbin

structure.ts

Mathematical structures in typescript.

cookbook-scala

xieyuheng-website

x-wiki

A Markdown-based wiki system, using file system as database.

skolem

an ACL2 style theorem prover with structural diff, embedded in scheme.

todo

sequent0

a prototype dependent type functional language, implemented by a simple interpreter in scheme.

wallpapers

oplss-note

instar-chat

a simple relay chat app

coupler

Simple tools for doing dependency injection through constructors.

zeromq-messaging-patterns

ZeroMQ messaging patterns

pomodoro

🍅 A Pomodoro timer.

instar0

web framework practice

summer.php

Practicing web development with Laravel

awesome-chinese-translation

令人拍案的中文翻译

papers

this repo stores pdf files

test-case

Minimalist Test Framework for JavaScript/TypeScript.

ikarus-linux

.zsh

ZSH_CUSTOM=$HOME/.zsh

command-line

Tools for building command-line interface.

rust-project-template

rust-project-template

awesome-ludwig

Awesome Ludwig People.

sicp-rs

instar1

express (web framework) practice

glfw-example

sql-practices

xieyuheng.github.io

reqrec

A Hypertext Transfer Protocol (HTTP) Request Recorder.

mathematical-structures

learn-vue-3-step-by-step

the-little-typer-exercises