AmauryRabouan / new-vsc-prolog

Related projects ⓘ

Alternatives and complementary repositories for new-vsc-prolog

• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆22Updated this week
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆23Updated last week
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆32Updated 6 months ago
• hargettp / prolog_lsp
  Language Server for Prolog
  ☆10Updated last year
• mthom / scryer-shen
  ☆43Updated 2 weeks ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆35Updated 2 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆76Updated 2 years ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆32Updated last month
• racket / datalog
  ☆43Updated 2 weeks ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆30Updated last year
• aarroyoc / djota
  A Djot implementation in Prolog
  ☆22Updated 10 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆27Updated 7 years ago
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆15Updated 3 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆90Updated 6 months ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆24Updated this week
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆27Updated last week
• jkoppel / ecta
  ☆33Updated 7 months ago
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆29Updated 3 years ago
• prologbyexample / code
  ☆27Updated last year
• Bogdanp / racket-kafka
  A Kafka client for Racket.
  ☆17Updated 10 months ago
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆35Updated 7 years ago
• terminusdb / terminus_store_prolog
  Prolog binding for terminusdb-store
  ☆21Updated 2 years ago
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆15Updated 4 years ago
• otherjoel / beeswax
  🐝🧇 Prototype template #lang for Pollen
  ☆11Updated last year
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated 3 months ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆22Updated last month
• kamahen / swipl-server-js-client
  Sample SWI-Prolog server with JavaScript client
  ☆12Updated 11 months ago