TikhonJelvis/Simple-Prolog TikhonJelvis/Simple-Prolog

  • Stars
    star
    43
  • Rank 645,449 (Top 13 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 12 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TikhonJelvis/Simple-Prolog
github

TikhonJelvis

Reviews

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

Repository Details

A simple Prolog interpreter

More Repositories

1

RL-book

Python
511
star
2

Cow

Semantic Version Control mk II.
Haskell
37
star
3

inductive-mazes

Code for my blog post "Generating Mazes with Inductive Graphs"
Haskell
36
star
4

modular-arithmetic

A useful type for working with integers modulo some constant.
Haskell
30
star
5

array-forth

A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
Haskell
26
star
6

Reactive-Life

A functional reactive GUI for John Conway's Game of Life.
Haskell
25
star
7

talks

Slides for my talks at various meetups.
JavaScript
21
star
8

dotfiles

Most of my system configuration files.
Emacs Lisp
20
star
9

imp

Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.
Haskell
17
star
10

maze

A simple JavaScript utility for drawing mazes as well as a program to find some statistics about them.
JavaScript
10
star
11

Semantic-Version-Control

A project for the 2011 Yahoo hackathon at Berkeley
JavaScript
9
star
12

TPL

A silly little programming language.
Haskell
9
star
13

javascript-card-games

Automatically exported from code.google.com/p/blarg
HTML
8
star
14

js-scheme

A Scheme interpreter written in JavaScript
JavaScript
6
star
15

reflex-ui

A rough draft of a higher-level UI framework Reflex FRP and Reflex DOM.
Haskell
5
star
16

website

My website.
HTML
4
star
17

array-forth-sketch

Some utilities for generating array-forth programs to run on the sketch synthesizer.
Haskell
4
star
18

simulation

A 2D polygon collision simulation originally written for A.S. physics in 2009.
Java
4
star
19

Maptac-Chess

A JavaScript chess game written in high school
JavaScript
3
star
20

mote-el

An Emacs minor mode for interactive Haskell development with Mote
Emacs Lisp
3
star
21

adaptive-radix-trees

A Haskell implementation of (persistent) adaptive radix trees.
Haskell
2
star
22

cs164-mode

A simple Emacs mode for the cs164 language
Emacs Lisp
2
star
23

array-forth-mode

An Emacs mode for editing arrayForth and colorForth.
Emacs Lisp
2
star
24

Gosu-Mode

A set of Emacs modes for the Gosu language.
Emacs Lisp
1
star
25

old-resume

The LaTeX files for my resume
TeX
1
star
26

Silly-Chat

A simple node js chat server and client using Comet; nothing special.
JavaScript
1
star
27

Random-JS

Just some random JavaScript utilities.
JavaScript
1
star
28

ProgViz

A visual debugger that helps you visualize algorithms as you're writing them
JavaScript
1
star
29

haskell-project-mode

A minor mode for managing multiple Haskell projects.
Emacs Lisp
1
star
30

resume

My resume
Nix
1
star
31

seven-guis-reflex

a small project to learn how to use Reflex FRP based on the "Seven Tasks" GUI benchmark
Haskell
1
star