swi

There are 1 repository under swi topic.

• logicmoo / wam_common_lisp

  Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.

  common-lispprolog-programming-languageobject-oriented-programmingoopswi-prolog-libraryswi-prologyap-prologgreenspunlispprologlisp-compilerlisp-interpreterprolog-programmersswi
  Language:Common Lisp 96

• SRGSSR / playsrg-apple

  The Play SRG applications for iOS and tvOS

  playapplersirtrrtssrfsrgssrswi
  Language:Swift 39

• XthemeOrg / Xtheme

  Xtheme IRC Services (a feature-packed, modern fork of atheme IRC Services)

  ircirc-servicesirc-networksathemextheme-irc-servicesswicxthemeweb-panelxthemeorg
  Language:C 19

• mistupv / SWIPrologZ3

  A simple Prolog API for the Z3 constraint solver

  apiz3z3-smt-solverswiprologc
  Language:C 14

• mrxinu / gosolar

  A SolarWinds client written in Go.

  solarwindsswisolarwinds-client
  Language:Go 14

• brilacasck / wumpus-prolog

  Wumpus Implementation in Prolog Language

  wumpusworldprologprolog-programming-languagefunctional-programmingwumpus-gamewumpus-prologwumpusswi-prologaiai-prologswiartifical-intelligensegameswiplexpert-systemlogic
  Language:Prolog 10

• XthemeOrg / SWI

  PHP Web Panel for Xtheme IRC Services (and some Atheme forks)

  swiweb-panelircxtheme-irc-servicesatheme-forksathemephpphp7xthemeorg
  Language:PHP 7

• newmediadev / AutoVIDC

  A RISC OS driver for a dual clock VIDC Enhancer for the Acorn Archimedes range of computers written in ARM Assembly language

  acornarchimedesarmassemblydriveroverclockriscswivgavidc1a
  4

• ArdavanKhalij / Nine-Mens-Morris-Problem

  This is a VUB project for the course declarative programming under supervision of Dr. Geraint Wiggins and Mr. Steven Homer.

  prologswiartificial-intelligencedeclarative-programmingvrije-universiteit-brussel
  Language:Prolog 3

• cheikhdjennel / Xylophone-Instrument--iOS13

  iOS13 app to play xylophone instrument -Swift

  swixylophoneappios-appios-swiftios13simple-appswift5
  Language:Swift 1

• arinjoy / next-to-go

  🏇🏼 A mini SwiftUI project to show top 5 upcoming races live to punt on 🚀

  combinesporting-apiswiswiftui
  Language:Swift 0

• AshwiniDPrabhu / MovieApp

  movie-databasemovimovies-apiafnetworswiiosstoryboardxcode11
  Language:Swift 0

• goggle / script.module.srgssr

  Kodi script for SRG SSR related Kodi plugins.

  kodikodi-addonsrgrsirtssrfsrgssrswi
  Language:Python 0

• a-tokyo / help-r2d2-escape-node

  🤖🔍A nodeJS application applying different search agent algorithms

  searchailogicalswiswi-prologprolognodejs
  Language:JavaScript

• cnngimenez / ontodot

  Draws RDF ontologies using Graphviz tools.

  prologswirdfgraphviz-dot
  Language:Prolog

• luciangreen / List-Prolog-to-Prolog-Converter

  Converts List Prolog code to Prolog code.

  listprologswifunctionallogicconverter
  Language:Prolog

• takumi314 / Sample-CollectionViewFlowLayout

  swiiosuicollectionviewflowlayout
  Language:Swift