Alternatives and similar repositories for HOL-CCS:

Users that are interested in HOL-CCS are comparing it to the libraries listed below

• binghe / informatica-public
  Public code developed during my MSc study at University of Bologna
  ☆76Updated 2 years ago
• overminder / sanya-native
  Yet another scheme compiler... This time generating shitty code.
  ☆17Updated 11 years ago
• thautwarm / simple-pl-example
  Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.
  ☆16Updated 3 years ago
• x1957 / cheat
  骗分导论
  ☆17Updated 4 years ago
• evilbinary / RScheme-for-android
  RScheme for android 。运行在android上的scheme。
  ☆15Updated 8 years ago
• Dwarfartisan / pyparsec
  A Haskell Parsec Library's Python Edition Implementation.
  ☆42Updated 3 years ago
• shenxs / about-scheme
  《How to Design Program》《build your own lisp》《The Scheme Program Language》 TSPL HTDP
  ☆25Updated 3 years ago
• thautwarm / EBNFParser
  Convenient parser generator for Python(check out https://github.com/thautwarm/RBNF for an advanced version).
  ☆65Updated 6 years ago
• thautwarm / graphviz-artist
  A chance to focus on graph drawing itself, forget APIs and other stuffs.
  ☆38Updated 2 years ago
• leafgray / pysonar2
  the world's most advanced static analyzer for Python
  ☆36Updated 11 years ago
• evilbinary / duck-compiler
  🦆鸭子编译器
  ☆21Updated 4 years ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 6 years ago
• thautwarm / flowpython
  tasty feature extensions for python3(NO MAINTENANCE!).
  ☆63Updated 5 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 10 years ago
• DeathKing / Hit-DataStructure-On-Scheme
  哈尔滨工业大学《数据结构与算法》、《软件开发实践》作业及实验的Scheme解法。
  ☆83Updated 10 years ago
• facetothefate / FT
  Functional Template
  ☆9Updated 8 years ago
• thautwarm / RBNF
  This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…
  ☆40Updated 6 years ago
• sqd / haskell-C89-interpreter
  Interpreter for C89 in Haskell
  ☆10Updated 9 years ago
• DIYgod / CourseCompiler
  编译原理课内实践—翻译程序设计
  ☆9Updated 9 years ago
• Z-Shang / LICPP
  Lisp Flavoured C++
  ☆29Updated 3 years ago
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 6 years ago
• cliffwoo / LSP_CN
  Linux System Programming ( Chinese Translation )
  ☆56Updated 12 years ago
• SalmonProject / GhostPost
  Chrome extension for GhostPost (Sina Weibo deleted post recovery)
  ☆34Updated 7 years ago