garydriley / FuzzyCLIPS631

Related projects: ⓘ

• rorchard / FuzzyCLIPS
  A fuzzy logic extension of the CLIPS
  ☆68Updated 9 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆22Updated 6 years ago
• poplog / poplog
  Poplog
  ☆21Updated 13 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆68Updated 7 months ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 5 years ago
• stassa / THELEMA
  My MSc thesis: a grammar induction system
  ☆14Updated 8 years ago
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆16Updated 2 months ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆39Updated 3 months ago
• simularity / SimGen
  A simulation language
  ☆21Updated 3 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆26Updated 8 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆32Updated 3 months ago
• annser / annser
  ANNSER is A Neural Network Simulator for Education and Research.
  ☆9Updated 8 years ago
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆11Updated 8 years ago
• jsoftware / qtide
  Qt IDE
  ☆44Updated 3 weeks ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 8 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆17Updated last year
• Herb-AI / HerbSWIPL.jl
  Julia wrapper around SWI Prolog
  ☆13Updated 2 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆43Updated 4 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆33Updated 2 months ago
• hdante / picat-lang
  ☆16Updated this week
• Whiley / WhileyTheoremProver
  The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…
  ☆8Updated 2 years ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆21Updated 3 weeks ago
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆17Updated 8 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆12Updated 7 years ago
• triska / letswicrypt
  Prolog HTTPS Servers
  ☆36Updated 6 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆43Updated 7 months ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year