xmonader / prolog-randsLinks
random stuff in prolog
☆74Updated 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 compiler for higher rank ML with type classes☆13Updated 4 years ago
- Project Euler | 欧拉计划 中文翻译站☆46Updated 2 months ago
- 《学C语言写Lisp》 *Build Your Own Lisp* 中文版☆52Updated 2 years ago
- A minimalist revision of the miniKanren language with no additional features☆51Updated 3 years ago
- Shoo is a statically typed programming language with first-class functions, structs, and arrays.☆115Updated 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…☆40Updated 6 years ago
- ☆79Updated 7 years ago
- Generate prime numbers whose binary representation looks like any image.☆112Updated 3 years ago
- Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)☆7Updated 3 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- 用作文档目的，翻译方式见 Issue #10☆41Updated 6 years ago
- end the parsing problem☆39Updated 2 years ago
- Cicada Language (solo version)☆128Updated 6 months ago
- Yet Another Scheme Interpreter using flex and bison☆50Updated 2 years ago
- ☆43Updated 5 months ago
- a compiler from a subset of Scheme into X64☆30Updated 11 years ago
- old cicada attempt in rs☆4Updated last year
- They contain so few lines of code, yet so few people get them right.☆39Updated 11 years ago
- Compile-time LISP interpreter on C macro preprocessor☆144Updated 7 years ago
- ☆41Updated 8 years ago
- A Scheme to x86-64 compiler in Scheme☆79Updated 10 years ago
- Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.☆14Updated 7 years ago
- Books on programming language theory and linguistics in general.☆54Updated 3 years ago
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago
- A File Manager for DrRacket☆84Updated 2 years ago
- Scheme语言实现 / Scheme implementation☆80Updated this week
- Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for Scheme." Each file is named after the se…☆21Updated 15 years ago
- Mathematica Theory of Computer Algebra System☆119Updated 9 years ago
- A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog☆22Updated 7 years ago
- Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.☆16Updated 4 years ago