xmonader / prolog-rands

Related projects ⓘ

Alternatives and complementary repositories for prolog-rands

• binghe / HOL-CCS
  Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
  ☆6Updated 3 years ago
• bao-qian / lightsabers
  They contain so few lines of code, yet so few people get them right.
  ☆38Updated 10 years ago
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆29Updated 10 years ago
• xieyuheng / cicada-rs
  old cicada attempt in rs
  ☆3Updated 10 months ago
• MatrixForChange / files-viewer
  A File Manager for DrRacket
  ☆83Updated last year
• 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 5 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆78Updated 9 years ago
• fengdidi / acl-chinese
  Ansi Common Lisp 中文
  ☆22Updated 6 years ago
• evilbinary / duck-os
  基于鸭子编译器写的os
  ☆22Updated 4 years ago
• spiritbear / Grad-School-Code
  Some Code from my Grad School Courses
  ☆107Updated 12 years ago
• yinwang0 / tinyKanren
  A minimalist revision of the miniKanren language with no additional features
  ☆51Updated 2 years ago
• yjqww6 / macrology
  ☆40Updated 3 years ago
• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆102Updated 7 years ago
• fp-china / fp-china.org
  Function Programming China home page
  ☆18Updated last month
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 7 years ago
• chaoxu / fancy-walks
  solutions for problems/puzzles from a variety of websites in fancy languages
  ☆18Updated 13 years ago
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆19Updated 4 years ago
• texmacs / plugins
  Collection of builtin GNU TeXmacs plugins
  ☆41Updated 2 weeks ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years 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…
  ☆40Updated 5 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 10 years ago
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• dramforever / frandre
  Functional Reactive Animation Drawing Environment
  ☆9Updated 7 years ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 5 years ago
• ice1000 / Books
  My slides and notes
  ☆137Updated last year
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆52Updated this week
• kchanqvq / CSP
  Compile-time LISP interpreter on C macro preprocessor
  ☆140Updated 6 years ago