Pinned Repositories
cicada-plct
Cicada Language (PLCT little team)
conceptor
An implementation of formal concept analysis.
inet-js
This is an implementation of interaction nets. It introduces you to the bizarre world of graph-based computation and linear logic, using a familiar JavaScript-like syntax :)
propagator
An implementation of the propagator model.
fidb
What if we use file system as database?
joy
backup of the joy programming language
learner
A machine learning library learned from "The Little Learner".
postmark
A framework for building markdown extensions.
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
xieyuheng's Repositories
xieyuheng/tangle-rs
a collection of tools to do tangle in rust
xieyuheng/exo
logic programming in elixir
xieyuheng/rc1
recursive-combinator for js (prototype 1)
xieyuheng/jojo-history
history of jojo's bizarre programming adventure
xieyuheng/to-deal-with-managers
notes about dealing with managers
xieyuheng/agda-oplss13
to learn agda with Dan Licata and Ian Voysey ^-^
xieyuheng/awesome-why
为什么之空耳与猎奇
xieyuheng/eshell
emacs shell
xieyuheng/awesome-chinese-translation
令人拍案的中文翻译
xieyuheng/cookbook-scala
xieyuheng/instar0
web framework practice
xieyuheng/oplss-note
oplss note
xieyuheng/rust-project-template
rust-project-template
xieyuheng/sequent0
a prototype dependent type functional language, implemented by a simple interpreter in scheme.
xieyuheng/sicp-rs
SICP in rust
xieyuheng/skolem
an ACL2 style theorem prover with structural diff, embedded in scheme.
xieyuheng/akka-docs-offline
xieyuheng/aristotle
about aristotle
xieyuheng/bebop
Ok, three, two, one, let's jam!
xieyuheng/cicada-baremetal
xieyuheng/cicada-nymph-mode
emacs mode for cicada-nymph language
xieyuheng/cppannotations
xieyuheng/gamepy
game theory
xieyuheng/idris-cats
xieyuheng/jojo-mode
xieyuheng/loss
machine learning experiments
xieyuheng/the-tao-is-silent
道是靜的
xieyuheng/tic-tac-toe
tic-tac-toe in react by hooks !
xieyuheng/tic-tac-toe-time-travel
tic-tac-toe with time-travel in react by hooks !
xieyuheng/xiaolinguist
小语言学家