Similar repositories to zaoqi/Expression-Oriented-C:
zaoqi/Expression-Oriented-C
github
similar
zaoqi/U.hs
github
similar
the-language/zKanren
github
similar
xieyuheng/cell-complex
github
similar
dinsic-pim/tchap-web
github
similar
OnRoadZy/RacketGuideInChinese
github
similar
bfabiszewski/kterm
github
similar
antalsz/hs-to-coq
github
similar
program-in-chinese/overview
github
similar
klaussinani/awesome-prolog
github
similar
evilbinary/scheme-lib
github
similar
edwinb/Blodwen
github
similar
takeoutweight/clojure-scheme
github
similar
JetBrains/Arend
github
similar
vyzo/gerbil
github
similar
lexi-lambda/hackett
github
similar
BOINC/boinc
github
similar
koka-lang/koka
github
similar
carp-lang/Carp
github
similar
sdiehl/write-you-a-haskell
github
similar
slacka/WoeUSB
github
similar
idris-lang/Idris-dev
github
similar
rescript-lang/rescript-compiler
github
similar
orangeduck/Cello
github
similar
os-js/OS.js
github
similar
kanaka/mal
github
similar
wenyan-lang/wenyan
github
similar
googlehosts/hosts
github
similar
Homebrew/brew
github
similar
python/cpython
github
similar
microsoft/TypeScript
github
similar
nodejs/node
github
similar
jlevy/the-art-of-command-line
github
similar