fifth-postulate/functional-geometry-in-prolog fifth-postulate/functional-geometry-in-prolog

  • Stars
    star
    14
  • Rank 1,438,076 (Top 29 %)
  • Language
    Prolog
  • License
    MIT License
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fifth-postulate/functional-geometry-in-prolog
github

fifth-postulate

Reviews

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

Repository Details

Functional Geometry in Prolog

More Repositories

1

julian

Date and time library for Prolog
Prolog
26
star
2

esche.rs

Rust oriented workshop exploring functional geometry
HTML
8
star
3

fits-rs

FITS encoder and decoder in Rust
Rust
5
star
4

finding-the-planets

A workshop that allows one to discover exo-planets
Java
4
star
5

packing-puzzle

Create a solver for a packing puzzle
Rust
3
star
6

mancala

Mancala, in Rust
Rust
2
star
7

priority-queue

A priority queue for Elm
Elm
2
star
8

busy-beaver

Determine the busy beaver problem
Rust
1
star
9

esche.rb

Presentation for the Amsterdam.rb meetup
Ruby
1
star
10

planet-transit-game

Find planet transit parameters
Elm
1
star
11

rsa-exposition

A toy implementation of the RSA crypto-system.
Elm
1
star
12

T9

Predictive text in Rust
Rust
1
star
13

trade-card

Application to keep track of the cards in your collection
JavaScript
1
star
14

microKanren

Explaining ฮผKanren with Java and Baby Sudoku
Java
1
star
15

tiddlywiki

A TiddlyWiki
HTML
1
star
16

huffman

Huffman encoding in Elm.
Elm
1
star
17

lights-out

An Elm implementation of Lights Out
Elm
1
star
18

automaton

Exploration of `automaton` of the clpfd Prolog library
Prolog
1
star
19

sudoku-proof

Proof of concept for a Sudoku solver that provides proof of how it progresses.
Elm
1
star
20

postscript-whisperer

Material for a workshop on PostScript, a page description language
PostScript
1
star