dideler/logic-programming dideler/logic-programming

  • Stars
    star
    3
  • Rank 3,941,162 (Top 79 %)
  • Language
    Prolog
  • Created about 13 years ago
  • Updated almost 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dideler/logic-programming
github

dideler

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A collection of short Prolog programs & predicates

More Repositories

1

bootstrapping

๐Ÿ‘ข a list of useful resources to get up and running quickly
32
star
2

cheat-sheets

Personal cheat sheets for some of my university courses.
28
star
3

dotfiles

๐Ÿ“„ These are my dotfiles. There are many like them, but these are mine.
Shell
25
star
4

interview-prep

๐Ÿ‘” Interview preparation: coding questions, behavioural questions, tips, and more
Python
18
star
5

gists

A collection of my more popular and useful gists
16
star
6

docker-fish-shell

๐Ÿณ๐ŸŸ๐ŸšDocker image for the Friendly Interactive Shell, aka fish
Dockerfile
15
star
7

toggle-youtube-comments

๐ŸŽฆ ๐Ÿค Chrome extension to hide or show YouTube comments
JavaScript
14
star
8

LC-3-Programs

Simple assembly programs for the Little Computer 3 (LC-3) simulator.
Assembly
9
star
9

fish-cd-git

๐ŸŸ Quickly navigate between GitHub repositories
Shell
6
star
10

gps-tower-defense

๐Ÿฐ Location-based Tower Defense game for Windows Phone 7
C#
5
star
11

setup-macos

Setup for a fresh Mac
Shell
5
star
12

course-advisor

An expert system for advising Computer Science students (at Brock) which courses to enroll in.
Prolog
5
star
13

dl.fish

๐ŸŸ CLI tool for fish users to easily download media from the web
Shell
4
star
14

ann-vs-knn

Comparative study of two machine learning classifiers (Artificial Neural Network & k-Nearest Neighbour) on two UCI datasets.
C++
4
star
15

notes

public subset of my personal notes
3
star
16

intro-to-combinatorics

Assigned problems in discrete mathematics
2
star
17

theory-of-computation

Solutions to assigned problems
2
star
18

ex_aws_sagemaker_runtime

ExAws package for the AWS SageMaker Runtime service
Elixir
2
star
19

find-god-in-niagara

๐Ÿ™ Places of worship in the Niagara Region
JavaScript
2
star
20

seven-languages-in-seven-weeks

๐Ÿ“– a pragmatic guide to learning programming languages
2
star
21

resume

My rรฉsumรฉ, curriculum vitae, and letter template
TeX
2
star
22

do-it

โ›ฐ๏ธ What are you waiting for?
JavaScript
2
star
23

fish-index

๐ŸŸ Shows indexed chars for hidden or visible text data
Shell
1
star
24

projects

A nice portfolio page for your GitHub projects and statistics
JavaScript
1
star
25

chess-park

Networked multiplayer chess in your browser
Java
1
star
26

4clojure

Solutions to 4clojure problems
Clojure
1
star
27

usb-ssh-key

๐Ÿ” Your SSH key on a USB drive
Shell
1
star
28

android-calculator

A basic Android calculator for API 8-15.
Java
1
star
29

download-google-extensions

Basic CLI tool to download popular Chrome Extensions by Google for educational purposes
Elixir
1
star
30

mars-rovers

Mars Rovers coding challenge
Ruby
1
star
31

divs

3D Chess in C++ and OpenGL
C
1
star
32

email2phone

Note that the website only works when you're running the app locally and have a tunnel set up.
Ruby
1
star
33

HiFive

An Android app that uses NFC to exchange contact info.
Java
1
star
34

restore-google-icons

Chrome extension for recognisable Google tabs
JavaScript
1
star