FredMesnard

FredMesnard's Stars

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k802.8k265

• mthom/scryer-prolog

  A modern Prolog implementation written mostly in Rust.

  Language:Rust2.1k541.7k127

• triska/the-power-of-prolog

  Introduction to modern Prolog

  Language:HTML1.2k533576

• SWI-Prolog/swipl-devel

  SWI-Prolog Main development repository

  Language:C99849768176

• Mercury-Language/mercury

  The Mercury logic programming system.

  Language:Mercury919377355

• tau-prolog/tau-prolog

  An open source Prolog interpreter in JavaScript

  Language:JavaScript5802427654

• jscoq/jscoq

  A port of Coq to Javascript -- Run Coq in your Browser

  Language:TypeScript5191918644

• LogtalkDotOrg/logtalk3

  Logtalk - declarative object-oriented logic programming language

  Language:Prolog426337631

• vprover/vampire

  The Vampire Theorem Prover

  Language:C++3082415353

• ciao-lang/ciao

  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

  Language:Prolog281219022

• triska/clpz

  Constraint Logic Programming over Integers

  Language:Prolog189113015

• Web-Prolog/swi-web-prolog

  A proof-of-concept SWI-Prolog implementation of Web Prolog

  Language:HTML188221010

• triska/clpfd

  Constraint Logic Programming over Finite Domains

  Language:Prolog1709111

• hgourvest/glpk.js

  GNU Linear Programming Kit for Javascript

  Language:JavaScript14716623

• JCumin/Brachylog

  A terse declarative logic programming language

  Language:Prolog11811565

• didoudiaz/gprolog

  GNU Prolog

  Language:C107127413

• fnogatz/CHR.js

  Compile and run Constraint Handling Rules (CHR) in JavaScript

  Language:JavaScript1048257

• tizoc/shen-scheme

  Shen/Scheme implementation

  Language:Shen10110218

• awmorp/turing

  Turing machine simulator in HTML/Javascript

  Language:JavaScript835026

• sasagawa888/nprolog

  interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)

  Language:C8181226

• tammet/logictools

  The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical predicate logic and propositional formulas.

  Language:HTML72525

• ridgeworks/clpBNR

  CLP(BNR) module for SWI-Prolog

  Language:Prolog394196

• mrieppel/fitchjs

  Fitch style proof constructor

  Language:JavaScript27337

• SWI-Prolog/tabled-prolog-book

  Programming in Tabled Prolog by David S Warren

  Language:TeX221423

• SWI-Prolog/roadmap

  Discuss future development

  2121603

• mistupv/SWIPrologZ3

  A simple Prolog API for the Z3 constraint solver

  Language:C141002

• rla/rdet

  Runtime determinacy checker for SWI-Prolog

  Language:Prolog5581

• JoaoLBarbosa/TypeInferenceAlgorithm

  This file consists of the files necessary to perform type inference on Prolog programs

  Language:Prolog21

• raitraidma/fol-prover

  Language:JavaScript1200