tobytripp/logic-programming-lecture tobytripp/logic-programming-lecture

  • Stars
    star
    1
  • Language
    CSS
  • License
    Eclipse Public Li...
  • Created almost 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tobytripp/logic-programming-lecture
github

tobytripp

Reviews

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

Repository Details

A short lecture on logic programming with minikanren, prolog, and some datalog.

More Repositories

1

meeting-ticker

Simple clock that shows how much a meeting is costing in real money.
JavaScript
168
star
2

text_to_noise

Ambient Log Monitoring
Ruby
16
star
3

Putsinator

Add File:Line to any 'puts' call made within a test.
Ruby
13
star
4

git-pre-commit

Rake tasks to ensure that your git pre-commit hook runs your build before checking in.
Ruby
8
star
5

dotfiles

UNIX configs
Shell
8
star
6

emacs.d

My emacs configuation
CSS
4
star
7

dashboard

Simple web dashboard.
JavaScript
2
star
8

commit_miner

Mine data from the source code repository
Ruby
2
star
9

tobytripp.github.com

Github pages.
CSS
1
star
10

Javascript-TDD-Presentation

A simple app and presentation I threw together for an Office Lunch & Learn.
JavaScript
1
star
11

emacs-ics

Convert emacs calendar (diary) files into ics for import into other calendars
Haskell
1
star
12

clj-builder

Docker container for building and deploying clojure applications
Dockerfile
1
star
13

programming-notes

Code and Notes on things that interested me at least once.
HTML
1
star
14

cruisestatus

Check the status of your cruise.rb or runcoderun.com build from your Ruby scripts.
Ruby
1
star