xmonader / prolog-randsLinks
random stuff in prolog
☆78Updated 7 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:
- Project Euler | 欧拉计划 中文翻译站☆49Updated 2 months ago
- Cicada Language (solo version)☆128Updated last year
- learn you a haskell for great good 中文版☆146Updated 4 years ago
- They contain so few lines of code, yet so few people get them right.☆40Updated 11 years ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆220Updated this week
- Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.☆117Updated 4 years ago
- Generate prime numbers whose binary representation looks like any image.☆112Updated 3 years ago
- A File Manager for DrRacket☆84Updated 2 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 7 years ago
- PWA for Chafan☆52Updated last week
- ☆47Updated last year
- Convenient parser generator for Python(check out https://github.com/thautwarm/RBNF for an advanced version).☆65Updated 7 years ago
- Compile-time LISP interpreter on C macro preprocessor☆145Updated 7 years ago
- A minimalist revision of the miniKanren language with no additional features☆53Updated 3 years ago
- An amazing syntax extension system in pure Python, the way to coding efficiency.☆108Updated 4 years ago
- a compiler from a subset of Scheme into X64☆31Updated 11 years ago
- codes written while learning them.☆47Updated 5 years ago
- 用作文档目的，翻译方式见 Issue #10☆41Updated 6 years ago
- end the parsing problem☆40Updated 3 years ago
- Collection of builtin GNU TeXmacs plugins☆45Updated 5 months ago
- ☆18Updated 4 years ago
- Books on programming language theory and linguistics in general.☆56Updated 4 years ago
- Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.☆16Updated 4 years ago
- My slides and notes☆139Updated 2 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Updated 7 years ago
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Updated 14 years ago
- A Scheme to x86-64 compiler in Scheme☆81Updated 10 years ago
- Kernel part subproject for GNU TeXmacs, GSoC only☆36Updated 6 years ago
- 《学C语言写Lisp》 *Build Your Own Lisp* 中文版☆55Updated 2 years ago
- A collection of articles written by YinWang☆156Updated last year