Alternatives and similar repositories for prolog-rands

Users that are interested in prolog-rands are comparing it to the libraries listed below

• binghe / HOL-CCS
  Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
  ☆7Updated 3 years ago
• fp-china / fp-china.org
  Function Programming China home page
  ☆18Updated last month
• MatrixForChange / files-viewer
  A File Manager for DrRacket
  ☆84Updated last year
• PE-CN / PE-CN.github.io
  Project Euler | 欧拉计划 中文翻译站
  ☆46Updated last month
• bao-qian / lightsabers
  They contain so few lines of code, yet so few people get them right.
  ☆38Updated 11 years ago
• chaoxu / fancy-walks
  solutions for problems/puzzles from a variety of websites in fancy languages
  ☆18Updated 13 years ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆211Updated this week
• yinwang0 / tinyKanren
  A minimalist revision of the miniKanren language with no additional features
  ☆51Updated 3 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆148Updated 5 months ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 6 years ago
• maTHmU / nV
  ☆41Updated 8 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 11 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆79Updated 10 years ago
• NoahDragon / BuildYourOwnLispCn
  《学C语言写Lisp》 *Build Your Own Lisp* 中文版
  ☆52Updated 2 years ago
• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆99Updated 8 years ago
• thautwarm / RBNF
  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
• mrmathematica / ooplai-zh
  OOPLAI中文翻译
  ☆33Updated 2 years ago
• whatot / learnyouahaskell-gitbook
  haskell趣学指南中文版gitbook整理版
  ☆23Updated 8 months ago
• ice1000 / Books
  My slides and notes
  ☆137Updated 2 years ago
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆56Updated 2 weeks ago
• evilbinary / duck-os
  基于鸭子编译器写的os
  ☆22Updated 4 years ago
• xieyuheng / cicada-rs
  old cicada attempt in rs
  ☆3Updated last year
• reborg / jscheme
  Jscheme (Scheme (in Java (by Peter Norvig)))
  ☆52Updated 6 years ago
• thautwarm / DianaScript-JIT
  ☆18Updated 3 years ago
• bdj / dybvig-three-imp
  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
• thautwarm / flowpython
  tasty feature extensions for python3(NO MAINTENANCE!).
  ☆62Updated 5 years ago
• guenchi / TSPL
  The Scheme Programming Language - ZhCN
  ☆44Updated 3 months ago
• facetothefate / FT
  Functional Template
  ☆9Updated 8 years ago