Alternatives and similar repositories for prolog-rands

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

• MatrixForChange / files-viewer
  A File Manager for DrRacket
  ☆84Updated 2 years ago
• yinwang0 / tinyKanren
  A minimalist revision of the miniKanren language with no additional features
  ☆53Updated 3 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆81Updated 10 years ago
• MarisaKirisame / resume
  ☆46Updated 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
• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆218Updated 2 weeks ago
• flaneur2020 / lyah
  learn you a haskell for great good 中文版
  ☆146Updated 4 years ago
• texmacs / plugins
  Collection of builtin GNU TeXmacs plugins
  ☆45Updated 4 months ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆30Updated 6 years ago
• kchanqvq / CSP
  Compile-time LISP interpreter on C macro preprocessor
  ☆145Updated 7 years ago
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆31Updated 11 years ago
• ltoddy / scheme.c
  A Scheme interpreter base on R5RS specification.
  ☆53Updated 5 years ago
• dybvig / stex
  stex: stex to latex and latex to html converters and associated tools
  ☆93Updated 2 years ago
• guenchi / TSPL
  The Scheme Programming Language - ZhCN
  ☆44Updated 10 months ago
• AlexiaChen / YinWangBak
  A collection of articles written by YinWang
  ☆157Updated last year
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆132Updated 5 years ago
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆167Updated last month
• NoahDragon / BuildYourOwnLispCn
  《学C语言写Lisp》 *Build Your Own Lisp* 中文版
  ☆53Updated 2 years ago
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated 2 years ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆55Updated 4 years ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 5 years ago
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 6 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 11 years ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated 11 months ago
• jks-liu / R6RS.zh-cn
  R6RS 简体中文翻译
  ☆80Updated 8 years ago
• PE-CN / PE-CN.github.io
  Project Euler | 欧拉计划 中文翻译站
  ☆48Updated last month
• bd4sur / Animac
  Scheme语言实现 / Scheme implementation
  ☆82Updated this week
• chafan-dev / chafan-pwa
  PWA for Chafan
  ☆52Updated 2 weeks ago
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆169Updated 11 months ago
• DeathKing / Hit-DataStructure-On-Scheme
  哈尔滨工业大学《数据结构与算法》、《软件开发实践》作业及实验的Scheme解法。
  ☆81Updated 11 years ago