xmonader / prolog-randsLinks
random stuff in prolog
☆76Updated 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:
- learn you a haskell for great good 中文版☆146Updated 4 years ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆214Updated last week
- Compile-time LISP interpreter on C macro preprocessor☆144Updated 7 years ago
- A File Manager for DrRacket☆84Updated 2 years ago
- Cicada Language (solo version)☆129Updated 10 months ago
- A minimalist revision of the miniKanren language with no additional features☆53Updated 3 years ago
- A Scheme to x86-64 compiler in Scheme☆81Updated 10 years ago
- Project Euler | 欧拉计划 中文翻译站☆46Updated 2 weeks ago
- stex: stex to latex and latex to html converters and associated tools☆91Updated last year
- Web page for IU Compiler Course for Fall 2020☆131Updated 4 years ago
- ☆43Updated 9 months ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆30Updated 6 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
- 基于鸭子编译器写的os☆22Updated 5 years ago
- 🦆鸭子编译器☆19Updated 5 years ago
- Books on programming language theory and linguistics in general.☆54Updated 4 years ago
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Updated 13 years ago
- a compiler from a subset of Scheme into X64☆31Updated 11 years ago
- Genius programmer should write his own lisp!☆57Updated this week
- Yet Another Scheme Interpreter using flex and bison☆49Updated 3 years ago
- An introduction to lambda calculus in Chinese, including an interpreter in Haskell.☆388Updated 11 years ago
- miniKanren with a constraint-based negation operator☆10Updated 11 years ago
- Lisp Flavoured C++☆28Updated 4 years ago
- R6RS 简体中文翻译☆80Updated 8 years ago
- 用作文档目的，翻译方式见 Issue #10☆41Updated 6 years ago
- Programming Languages: Application and Interpretation☆247Updated 2 years ago
- Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.☆116Updated 4 years ago
- Canonical miniKanren implementation☆361Updated 7 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆165Updated 10 months ago
- Incremental implementation of a scheme compiler☆29Updated 12 years ago