Alternatives and similar repositories for 99-prolog-problems

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

• mpu / lambda
  A small λ-calculus interpreter in C
  ☆56Updated 10 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆171Updated 6 years ago
• shouya / thinking-dumps
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆31Updated last year
• greghendershott / fear-of-macros
  A practical guide to Racket macros
  ☆252Updated 5 years ago
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆604Updated 2 years ago
• mrkkrp / lpnes
  Learn Prolog Now! Proper and elegant exercise solutions
  ☆46Updated 10 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆182Updated 5 years ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆31Updated last week
• sgillespie / lambda-calculus
  An introduction to the Lambda Calculus
  ☆91Updated 2 years ago
• exercism / scheme
  Exercism exercises in Scheme.
  ☆36Updated 4 months ago
• racket / racket-lang-org
  ☆70Updated 2 weeks ago
• danprager / racket-2048
  The 2048 game implemented in Racket language
  ☆81Updated 11 years ago
• DavidSatimeWallin / openemacs
  openemacs: A tiny emacs clone (≤ 1024 LOC, BSD-licensed) without any library dependencies
  ☆36Updated 7 months ago
• jez / vim-better-sml
  Enjoy writing SML within Vim
  ☆107Updated 8 months ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆201Updated last year
• buntine / Simply-Scheme-Exercises
  All of the exercises (and their solutions!) from the Berkeley textbook Simply Scheme.
  ☆115Updated 7 years ago
• gildor478 / ounit
  ☆93Updated 2 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆102Updated 10 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆96Updated 2 years ago
• edersoncorbari / small-bank
  Building a small bank with Clojure
  ☆15Updated 5 years ago
• cioc / functionalC
  Not because it is good, but because we can...
  ☆167Updated 5 years ago
• realworldocaml / examples
  All the examples in Real World OCaml
  ☆376Updated last year
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆72Updated 5 years ago
• exercism / sml
  Exercism exercises in Standard ML.
  ☆29Updated last week
• ridwanmsharif / lispy
  LISP interpreter in Python
  ☆45Updated 4 years ago
• smlhelp / book
  deployment for smlhelp page
  ☆40Updated 2 months ago
• mflatt / gc-demo
  ☆86Updated 4 years ago
• LambdaGeo / rwh-ptbr
  Real World Haskell, PT-BR
  ☆12Updated last year
• johnwhitington / ocaml-from-very-beginning-exercises
  Examples and exercises for the OCaml Book "OCaml from the Very Beginning"
  ☆34Updated 3 years ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago