binghe / HOL-CCSLinks
Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
☆7Updated 3 years ago
Alternatives and similar repositories for HOL-CCS
Users that are interested in HOL-CCS are comparing it to the libraries listed below
Sorting:
- Public code developed during my MSc study at University of Bologna☆76Updated 2 years ago
- A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog☆22Updated 7 years ago
- 哈尔滨工业大学《数据结构与算法》、《软件开发实践》作业及实验的Scheme解法。☆81Updated 11 years ago
- a compiler from a subset of Scheme into X64☆30Updated 11 years ago
- https://openpal.github.io/TypeAndProof/☆99Updated 8 years ago
- a compiler from a subset of Scheme into X64☆241Updated 6 years ago
- This is source code of my book.☆67Updated 8 years ago
- ☆44Updated 6 months ago
- ☆146Updated 9 years ago
- Yet another Y86 implementation☆67Updated 6 months ago
- Pearls of Functional Algorithm Design☆67Updated 10 years ago
- A Haskell Parsec Library's Python Edition Implementation.☆43Updated 3 years ago
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Updated 6 years ago
- the world's most advanced static analyzer for Python☆36Updated 11 years ago
- Yet another scheme compiler... This time generating shitty code.☆17Updated 12 years ago
- tasty feature extensions for python3(NO MAINTENANCE!).☆62Updated 6 years ago
- A structural comparison tool for Python☆115Updated 8 years ago
- 《How to Design Program》《build your own lisp》《The Scheme Program Language》 TSPL HTDP☆27Updated 3 years ago
- This repo keeps track of my codes, answers and thinkings when exploring books.☆24Updated 4 years ago
- 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
- Really mini operating system (extracted from xen-unstable, and much stuff removed)☆190Updated 13 years ago
- Introduction to Programming☆58Updated 6 months ago
- [译] 笨办法学 Python · 续☆138Updated 7 years ago
- Kaleidoscope tutorial chinese translatio。 Kaleidoscope-llvm教程文档中文翻译。☆57Updated 10 years ago
- learn you a haskell for great good 中文版☆146Updated 4 years ago
- CN MonaD.ReadeR Reading Group☆107Updated 9 years ago
- ☆27Updated 2 years ago
- A chance to focus on graph drawing itself, forget APIs and other stuffs.☆39Updated 3 years ago
- Shoo is a statically typed programming language with first-class functions, structs, and arrays.☆115Updated 6 years ago
- 编译原理课内实践—翻译程序设计☆9Updated 10 years ago