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 12 years ago
• Dwarfartisan / pyparsec
  A Haskell Parsec Library's Python Edition Implementation.
  ☆43Updated 3 years ago
• HaskellZhangSong / Introduction_to_Haskell
  This is source code of my book.
  ☆67Updated 8 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 4 years ago
• chris-taylor / SICP-in-Haskell
  ☆50Updated 12 years ago
• x1957 / cheat
  骗分导论
  ☆17Updated 4 years ago
• thautwarm / graphviz-artist
  A chance to focus on graph drawing itself, forget APIs and other stuffs.
  ☆39Updated 3 years ago
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 7 years ago
• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆99Updated 8 years ago
• rnons / shadowsocks-haskell
  shadowsocks in haskell
  ☆57Updated 6 years ago
• shenxs / about-scheme
  《How to Design Program》《build your own lisp》《The Scheme Program Language》 TSPL HTDP
  ☆27Updated 3 years ago
• Milesturing / 4go
  four-country war game (Chinese-4-Stratego), a little practice using Racket to do real-world programming
  ☆8Updated 8 years ago
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 6 years ago
• DeathKing / Hit-DataStructure-On-Scheme
  哈尔滨工业大学《数据结构与算法》、《软件开发实践》作业及实验的Scheme解法。
  ☆82Updated 11 years ago
• lkwq007 / ocaml-manual-cn
  OCaml 文档中文版
  ☆32Updated 6 years ago
• IntroToProgramming / IntroductionToProgramming
  Introduction to Programming
  ☆58Updated 4 months ago
• whatot / learnyouahaskell-gitbook
  haskell趣学指南中文版gitbook整理版
  ☆23Updated 8 months ago
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆30Updated 11 years ago
• ultimate-lambda / book-reviews
  ☆146Updated 9 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 11 years ago
• abcdabcd987 / sit
  Simplified Git
  ☆40Updated 9 years ago
• DIYgod / Compiler
  An unfinished simple-C language compiler
  ☆23Updated 10 years ago
• lambdalabdesigner / pysonar2
  ☆27Updated 9 years ago
• tioover / ika
  Lisp interpreter
  ☆10Updated 10 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
• chaoxu / fancy-walks
  solutions for problems/puzzles from a variety of websites in fancy languages
  ☆18Updated 13 years ago
• cliffwoo / LSP_CN
  Linux System Programming ( Chinese Translation )
  ☆56Updated 12 years ago
• evilbinary / RScheme-for-android
  RScheme for android 。运行在android上的scheme。
  ☆15Updated 9 years ago
• xye7ei / metaparse
  A handy tool to help design and parse your own language
  ☆21Updated 2 years ago