xmonader / prolog-rands

Related projects ⓘ

Alternatives and complementary repositories for prolog-rands

• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆29Updated 10 years ago
• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆102Updated 7 years ago
• SnowOnion / category-theory-seminar-notes-cnu-2018
  首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…
  ☆17Updated 6 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• mrmathematica / ooplai-zh
  OOPLAI中文翻译
  ☆33Updated last year
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 5 years ago
• yinwang0 / tinyKanren
  A minimalist revision of the miniKanren language with no additional features
  ☆51Updated 2 years ago
• texmacs / plugins
  Collection of builtin GNU TeXmacs plugins
  ☆41Updated last month
• fp-china / fp-china.org
  Function Programming China home page
  ☆18Updated last month
• WeixiMa / C311Sp20
  ☆16Updated 4 years ago
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆52Updated this week
• Alaya-in-Matrix / CLaSH-Processor
  A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog
  ☆22Updated 6 years ago
• guenchi / TSPL
  The Scheme Programming Language - ZhCN
  ☆42Updated 5 months ago
• bartuer / ydiff
  a language-aware tool for comparing programs
  ☆28Updated 13 years ago
• fengdidi / acl-chinese
  Ansi Common Lisp 中文
  ☆22Updated 6 years ago
• MatrixForChange / files-viewer
  A File Manager for DrRacket
  ☆84Updated last year
• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆209Updated this week
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 5 years ago
• yjqww6 / macrology
  ☆40Updated 3 years ago
• flaneur2020 / lyah
  learn you a haskell for great good 中文版
  ☆146Updated 3 years ago
• bao-qian / lightsabers
  They contain so few lines of code, yet so few people get them right.
  ☆38Updated 10 years ago
• Z-Shang / LICPP
  Lisp Flavoured C++
  ☆29Updated 3 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 10 years ago
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆128Updated 3 weeks ago
• Xython / wisepy2
  The most simplest and super efficient command line tools, distributed in solely one file.
  ☆10Updated 2 years ago
• HaskellZhangSong / Introduction_to_Haskell_2ed_source
  这是Haskell函数式编程入门第2版的源码
  ☆82Updated 6 years ago
• PE-CN / PE-CN.github.io
  Project Euler | 欧拉计划 中文翻译站
  ☆45Updated 7 months ago
• facetothefate / FT
  Functional Template
  ☆9Updated 7 years ago