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.

Language: Common Lisp - Size: 50.5 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 96 - Forks: 8

SRGSSR/playsrg-apple

The Play SRG applications for iOS and tvOS

Language: Swift - Size: 170 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 49 - Forks: 3

XthemeOrg/Xtheme

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

Language: C - Size: 12.2 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 20 - Forks: 8

mrxinu/gosolar 📦

A SolarWinds client written in Go.

Language: Go - Size: 33.2 KB - Last synced at: 5 days ago - Pushed at: almost 5 years ago - Stars: 15 - Forks: 7

mistupv/SWIPrologZ3

A simple Prolog API for the Z3 constraint solver

Language: C - Size: 13.7 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 14 - Forks: 2

brilacasck/wumpus-prolog

Wumpus Implementation in Prolog Language

Language: Prolog - Size: 2.07 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 9 - Forks: 2

XthemeOrg/SWI

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

Language: PHP - Size: 679 KB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 7 - Forks: 5

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.

Language: Prolog - Size: 174 KB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

luciangreen/List-Prolog-to-Prolog-Converter

Converts List Prolog code to Prolog code.

Language: Prolog - Size: 34.2 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0

goggle/script.module.srgssr

Kodi script for SRG SSR related Kodi plugins.

Language: Python - Size: 396 KB - Last synced at: 24 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 7

Intiserahmed/opus-player-swiftui

A SwiftUi Opus Audio Player

Language: Swift - Size: 536 KB - Last synced at: 14 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

WinterSolid/Weather_Me

Weather_Me is an iOS application designed to provide accurate and up-to-date weather information using iOS 15 and Swift programming language.

Language: Swift - Size: 1.15 MB - Last synced at: 2 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

arinjoy/next-to-go

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

Language: Swift - Size: 59.9 MB - Last synced at: 9 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

AshwiniDPrabhu/MovieApp

Language: Swift - Size: 925 KB - Last synced at: 5 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

cnngimenez/ontodot

Draws RDF ontologies using Graphviz tools.

Language: Prolog - Size: 47.9 KB - Last synced at: 10 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

takumi314/Sample-CollectionViewFlowLayout

Language: Swift - Size: 17.6 KB - Last synced at: 4 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

a-tokyo/help-r2d2-escape-node

🤖🔍A nodeJS application applying different search agent algorithms

Language: JavaScript - Size: 102 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0