Discover xieyuheng/summer.php Open Source project

A framework for building markdown extensions.

postmark

backup of the joy programming language

joy

tangle-rs

a collection of tools to do tangle in rust

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

x-server

luoxu-search

Validate untyped data and return well typed result.

Libraries and tools for topological and geometric modeling.

cell-complex

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

logic-db

A categorical semantics library in Agda.

cat

Agda

cicada-nymph

a forth like language written in fasm assembler

A program to draw analytic geometry graphs on canvas.

analytic-geometry

logic programming in elixir

exo

Elixir

threaded-code-interpreter

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

OCaml

rc1

recursive-combinator for js (prototype 1)

JavaScript

cicada-monologues

learn-x

history of jojo's bizarre programming adventure

the-programmer-s-oath

the programmer's oath

jojo-history

C++

tartlet

dependently-typed language (baking little pie) in javascript

A collection of inspiring designs.

inspiring-designs

dance-with-expressions

式之舞 / Dance with Expressions

inner

Ones Inner Universe.

Low dimensional topology and geometry.

lowdim

notes about dealing with managers

to-deal-with-managers

music-diary

cicada-rs

old cicada attempt in rs

conf

Shell

readable-regular-expression

a prototype functional language

didactic-art-of-the-little-books

sequent1

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

learner

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

enchanter

awesome-why

ikarus

cicada-mode

emacs mode to edit cicada code

Emacs Lisp

platform-sutra

x-markdown

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

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

x-proxy

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

agda-oplss13

Agda

eshell

emacs shell

Emacs Lisp

image-link

plaintext

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

Backup of old Kanren code

kanren

Scheme

biysc2021-notes

Python

test-runner

A Test Runner for Node.js.

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.

collective-code-construction-contract

dustbin

Mathematical structures in typescript.

structure.ts

cookbook-scala

Scala

xieyuheng-website

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

x-wiki

skolem

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

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

JavaScript

coupler

Simple tools for doing dependency injection through constructors.

ZeroMQ messaging patterns

zeromq-messaging-patterns

pomodoro

🍅 A Pomodoro timer.

instar0

web framework practice

this repo stores pdf files

awesome-chinese-translation

令人拍案的中文翻译

papers

TeX

test-case

Minimalist Test Framework for JavaScript/TypeScript.

Tools for building command-line interface.

ikarus-linux

Scheme

.zsh

ZSH_CUSTOM=$HOME/.zsh

Shell

command-line

rust-project-template

awesome-ludwig

Awesome Ludwig People.

sicp-rs

SICP in rust

express (web framework) practice

instar1

glfw-example

sql-practices

SQL practices.

TSQL

xieyuheng.github.io

A Hypertext Transfer Protocol (HTTP) Request Recorder.

reqrec

JavaScript

mathematical-structures

learn-vue-3-step-by-step