Alternatives and similar repositories for picat

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

• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆33Updated 3 weeks ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆9Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last month
• Genivia / Husky
  🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
  ☆15Updated 4 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• niallang / Nial_Development
  ☆32Updated 2 years ago
• sml-nj-historical / smlnj
  The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.
  ☆29Updated 6 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆15Updated 2 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆32Updated 7 months ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 2 months ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆23Updated 2 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆22Updated last month
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated 2 months ago
• vscosta / yap
  ☆53Updated last month
• rewriting / tom
  ☆34Updated 4 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated last month
• nikodemus / foolang
  A toy programming language.
  ☆40Updated last year
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆27Updated 3 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• rebolsource / r3
  Source code for the Rebol [R3] interpreter
  ☆29Updated 10 months ago
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆18Updated 5 months ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated last year
• racket / parser-tools
  ☆14Updated last month
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 5 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated last year