xmonader / prolog-randsLinks
random stuff in prolog
☆75Updated 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
Sorting:
- A minimalist revision of the miniKanren language with no additional features☆52Updated 3 years ago
- A File Manager for DrRacket☆84Updated 2 years ago
- A Scheme to x86-64 compiler in Scheme☆80Updated 10 years ago
- ☆16Updated 5 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…☆41Updated 6 years ago
- Generate prime numbers whose binary representation looks like any image.☆112Updated 3 years ago
- Cicada Language (solo version)☆128Updated 8 months ago
- 《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版☆212Updated 2 weeks ago
- A collection of articles written by YinWang☆154Updated last year
- Online, interactive edition of the "Simply Logical" Prolog textbook☆161Updated 8 months ago
- learn you a haskell for great good 中文版☆146Updated 4 years ago
- Compile-time LISP interpreter on C macro preprocessor☆144Updated 7 years ago
- The Scheme Programming Language - ZhCN☆45Updated 6 months ago
- Programming Languages: Application and Interpretation☆247Updated 2 years ago
- 《学C语言写Lisp》 *Build Your Own Lisp* 中文版☆53Updated 2 years ago
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Updated 13 years ago
- Magical Book The book uses dialects Scheme in the programming language Lisp to explain the core concepts of computer science, including a…☆230Updated 6 years ago
- Web page for IU Compiler Course for Fall 2020☆133Updated 4 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- Kernel part subproject for GNU TeXmacs, GSoC only☆36Updated 5 years ago
- a compiler from a subset of Scheme into X64☆31Updated 11 years ago
- end the parsing problem☆39Updated 3 years ago
- Constraint Logic Programming over Integers☆205Updated last year
- They contain so few lines of code, yet so few people get them right.☆39Updated 11 years ago
- stex: stex to latex and latex to html converters and associated tools☆89Updated last year
- My slides and notes☆139Updated 2 years ago
- OOPLAI中文翻译☆33Updated 2 years ago
- Books on programming language theory and linguistics in general.☆54Updated 4 years ago
- A Scheme interpreter base on R5RS specification.☆52Updated 5 years ago
- An amazing syntax extension system in pure Python, the way to coding efficiency.☆108Updated 3 years ago