xmonader / prolog-rands
random stuff in prolog
☆73Updated 6 years ago
Alternatives and similar repositories for prolog-rands:
Users that are interested in prolog-rands are comparing it to the libraries listed below
- learn you a haskell for great good 中文版☆147Updated 3 years ago
- 用作文档目的，翻译方式见 Issue #10☆41Updated 6 years ago
- Function Programming China home page☆18Updated last week
- a compiler from a subset of Scheme into X64☆30Updated 10 years ago
- 基于鸭子编译器写的os☆22Updated 4 years ago
- https://openpal.github.io/TypeAndProof/☆99Updated 7 years ago
- Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)☆6Updated 3 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆18Updated 6 years ago
- 🦆鸭子编译器☆21Updated 4 years ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆211Updated last week
- old cicada attempt in rs☆3Updated last year
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- Cicada Language (solo version)☆128Updated 3 months ago
- A Scheme to x86-64 compiler in Scheme☆78Updated 9 years ago
- My slides and notes☆137Updated last year
- Lisp Flavoured C++☆29Updated 4 years ago
- They contain so few lines of code, yet so few people get them right.☆38Updated 11 years ago
- Mathematica Theory of Computer Algebra System☆116Updated 9 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆139Updated 3 months ago
- Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for Scheme." Each file is named after the se…☆21Updated 14 years ago
- A minimalist revision of the miniKanren language with no additional features☆51Updated 2 years ago
- DrRacket plugins for better autocompletion☆65Updated 8 months ago
- Web page for IU Compiler Course for Fall 2020☆130Updated 4 years ago
- Functional Template☆9Updated 8 years ago
- Learn You a Lambda, a Haskell Tutorial☆47Updated 8 years ago
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Updated 13 years ago
- tasty feature extensions for python3(NO MAINTENANCE!).☆62Updated 5 years ago
- stex: stex to latex and latex to html converters and associated tools☆86Updated last year
- 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