Alternatives and similar repositories for prolog-rands:

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

• yinwang0 / tinyKanren
  A minimalist revision of the miniKanren language with no additional features
  ☆51Updated 2 years ago
• binghe / HOL-CCS
  Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
  ☆6Updated 3 years ago
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆128Updated 3 weeks ago
• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆100Updated 7 years ago
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆29Updated 10 years ago
• MatrixForChange / files-viewer
  A File Manager for DrRacket
  ☆84Updated last year
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆59Updated 3 years ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 5 years ago
• yjqww6 / macrology
  ☆40Updated 3 years ago
• PE-CN / PE-CN.github.io
  Project Euler | 欧拉计划 中文翻译站
  ☆45Updated this week
• flaneur2020 / lyah
  learn you a haskell for great good 中文版
  ☆146Updated 3 years ago
• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆209Updated this week
• chenjulang / rubikcubegroup
  rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/
  ☆10Updated 9 months ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• texmacs / plugins
  Collection of builtin GNU TeXmacs plugins
  ☆41Updated this week
• maTHmU / nV
  ☆41Updated 7 years ago
• WeixiMa / C311Sp20
  ☆16Updated 4 years ago
• ice1k / Theorems
  Theorems that rule this multiverse
  ☆11Updated 6 years ago
• xieyuheng / cicada-rs
  old cicada attempt in rs
  ☆3Updated last year
• thautwarm / moshmosh
  An amazing syntax extension system in pure Python, the way to coding efficiency.
  ☆108Updated 3 years ago
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 5 years ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• evilbinary / duck-os
  基于鸭子编译器写的os
  ☆22Updated 4 years ago
• OlingCat / functor-fantasy
  《函子风云录》：一个轻小说接力写作企划
  ☆36Updated 5 years ago
• thautwarm / frontend-for-free
  end the parsing problem
  ☆39Updated 2 years ago
• ice1000 / vscode-arend
  VSCode extension for the Arend language
  ☆11Updated last year
• 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