Alternatives and similar repositories for prolog-rands

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

• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆216Updated this week
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆81Updated 10 years ago
• yinwang0 / tinyKanren
  A minimalist revision of the miniKanren language with no additional features
  ☆53Updated 3 years ago
• geonnave / primg
  Generate prime numbers whose binary representation looks like any image.
  ☆112Updated 3 years ago
• MatrixForChange / files-viewer
  A File Manager for DrRacket
  ☆84Updated 2 years ago
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆31Updated 11 years ago
• MarisaKirisame / resume
  ☆45Updated 10 months 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…
  ☆41Updated 7 years ago
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆129Updated 10 months ago
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 6 years ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 6 years ago
• flaneur2020 / lyah
  learn you a haskell for great good 中文版
  ☆146Updated 4 years ago
• WeixiMa / C311Sp20
  ☆16Updated 5 years ago
• Z-Shang / LICPP
  Lisp Flavoured C++
  ☆28Updated 4 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆30Updated 6 years ago
• ltoddy / scheme.c
  A Scheme interpreter base on R5RS specification.
  ☆53Updated 5 years ago
• thautwarm / frontend-for-free
  end the parsing problem
  ☆40Updated 3 years ago
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆167Updated 11 months ago
• thautwarm / diojit
  Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.
  ☆116Updated 4 years ago
• kchanqvq / CSP
  Compile-time LISP interpreter on C macro preprocessor
  ☆145Updated 7 years ago
• guenchi / TSPL
  The Scheme Programming Language - ZhCN
  ☆44Updated 9 months ago
• kevincfz / scheme
  A Scheme interpreter in Python
  ☆14Updated 11 years ago
• NoahDragon / BuildYourOwnLispCn
  《学C语言写Lisp》 *Build Your Own Lisp* 中文版
  ☆53Updated 2 years ago
• lotuc / PLAI-cn
  Programming Languages: Application and Interpretation
  ☆247Updated 2 years ago
• bao-qian / lightsabers
  They contain so few lines of code, yet so few people get them right.
  ☆39Updated 11 years ago
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆132Updated 4 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆124Updated 12 years ago
• ice1000 / Books
  My slides and notes
  ☆139Updated 2 years ago
• dybvig / stex
  stex: stex to latex and latex to html converters and associated tools
  ☆92Updated last year
• HaskellZhangSong / Introduction_to_Haskell_2ed_source
  这是Haskell函数式编程入门第2版的源码
  ☆84Updated 7 years ago