Alternatives and similar repositories for prolog-rands:

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

• 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 14 years ago
• MatrixForChange / files-viewer
  A File Manager for DrRacket
  ☆84Updated last year
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆128Updated last month
• 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
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆78Updated 9 years ago
• yinwang0 / tinyKanren
  A minimalist revision of the miniKanren language with no additional features
  ☆51Updated 2 years ago
• WeixiMa / C311Sp20
  ☆16Updated 4 years ago
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆30Updated 10 years ago
• evilbinary / duck-compiler
  🦆鸭子编译器
  ☆21Updated 4 years ago
• flaneur2020 / lyah
  learn you a haskell for great good 中文版
  ☆146Updated 3 years ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• bao-qian / lightsabers
  They contain so few lines of code, yet so few people get them right.
  ☆38Updated 11 years ago
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆55Updated this week
• binghe / HOL-CCS
  Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
  ☆6Updated 3 years ago
• yjqww6 / drcomplete
  DrRacket plugins for better autocompletion
  ☆65Updated 7 months ago
• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆99Updated 7 years ago
• x1957 / cheat
  骗分导论
  ☆17Updated 4 years ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆92Updated last month
• thautwarm / original-posting
  Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.
  ☆12Updated 2 years ago
• xieyuheng / cicada-rs
  old cicada attempt in rs
  ☆3Updated last year
• spiritbear / Grad-School-Code
  Some Code from my Grad School Courses
  ☆107Updated 13 years ago
• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆210Updated this week
• ice1000 / CompilerWorks
  编译原理相关的工作岗位收集
  ☆87Updated 6 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 7 years ago
• mflatt / jit-demo
  ☆64Updated 8 years ago
• ice1000 / Books
  My slides and notes
  ☆137Updated last year
• ustc-pldpa / PFPL
  Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.
  ☆13Updated 6 years ago
• chaoxu / fancy-walks
  solutions for problems/puzzles from a variety of websites in fancy languages
  ☆18Updated 13 years ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 5 years ago