Alternatives and similar repositories for hm_prolog

Users that are interested in hm_prolog are comparing it to the libraries listed below

• stchang / mlish
  ☆22Updated 5 years ago
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆43Updated 4 years ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆66Updated last week
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 6 years ago
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 9 years ago
• racket / datalog
  ☆48Updated last month
• janestreet / sexp
  S-expression swiss knife
  ☆47Updated last month
• samth / fancy-app
  A Scala-style magic function application form
  ☆43Updated 3 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 8 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated this week
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆32Updated last year
• racket / parser-tools
  ☆14Updated last month
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆44Updated 2 years ago
• deech / shen-rust
  ☆35Updated 6 years ago
• racketscript / racketscript-playground
  Online playground from RacketScript
  ☆19Updated last year
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆36Updated 8 years ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆81Updated 11 months ago
• racket / frtime
  ☆19Updated last month
• racket / swindle
  ☆11Updated last month
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆72Updated last week
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆33Updated 11 months ago
• samdphillips / raco-pkg-env
  virtualenv like tool for Racket
  ☆31Updated 2 years ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆27Updated 9 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 7 years ago
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆44Updated last week
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 7 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆34Updated 2 years ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 7 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago