Similar repositories to vzaliva/helix:

• vzaliva/helix github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• groupoid/anders github similar
• gibiansky/IHaskell github similar
• pixijs/pixi.js github similar
• Soldat/soldat github similar
• tolziplohu/durin github similar
• 5HT/valery github similar
• azriel91/srcerr github similar
• webyrd/curnelo github similar
• maybevoid/lambek github similar
• julianhyde/morel github similar
• TOTBWF/agda-sgd github similar
• john-ml/lambda-calculus github similar
• prathyvsh/history-of-lambda-calculus github similar
• Kha/semantics-lean github similar
• aquynh/capstone github similar
• meilisearch/MeiliSearch github similar
• lab-ml/annotated_deep_learning_paper_implementations github similar
• alexcrichton/cc-rs github similar
• domchristie/turndown github similar
• ubuntu/microk8s github similar
• qdwang/eopl github similar
• leanprover-community/vscode-lean4 github similar
• yaakov123/hagana github similar
• wezm/rsspls github similar
• wusyong/elise github similar
• wasmflow/wasmflow github similar
• plt-hokusai/Rio github similar
• plt-hokusai/ahc github similar
• jsmaniac/scribble-math github similar
• baberrehman/coq-duotyping github similar
• DavePearce/Web.wy github similar
• tiatomee/toml-idr github similar
• Zekt/Type-Embellishment github similar
• jonsterling/agda-stc github similar
• Chaaaos/formaltt github similar
• mb64/xtt github similar
• zalora/gctuner github similar