Fifth Postulate (@fifth-postulate)
Guthub

fifth-postulate

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    99
  • Global Org. Rank 58,231 (Top 19 %)
  • Registered almost 9 years ago
  • Most used languages
    Elm
         28.6 %
    Rust
         23.8 %
    Prolog
         14.3 %
    HTML
         9.5 %
    Java
         9.5 %
    Ruby
         4.8 %
    PostScript     4.8 %
    JavaScript
         4.8 %
  • Location πŸ‡¨πŸ‡¦ Canada
  • Country Total Rank 5,538
  • Country Ranking
    Prolog
         3
    PostScript     35
    Elm
         37
    Rust
         470
    HTML
         1,176
    Java
         2,566
    Ruby
         2,598

Top repositories

1

julian

Date and time library for Prolog
Prolog
26
star
2

functional-geometry-in-prolog

Functional Geometry in Prolog
Prolog
14
star
3

esche.rs

Rust oriented workshop exploring functional geometry
HTML
8
star
4

fits-rs

FITS encoder and decoder in Rust
Rust
5
star
5

finding-the-planets

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

packing-puzzle

Create a solver for a packing puzzle
Rust
3
star
7

mancala

Mancala, in Rust
Rust
2
star
8

priority-queue

A priority queue for Elm
Elm
2
star
9

busy-beaver

Determine the busy beaver problem
Rust
1
star
10

esche.rb

Presentation for the Amsterdam.rb meetup
Ruby
1
star
11

planet-transit-game

Find planet transit parameters
Elm
1
star
12

rsa-exposition

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

T9

Predictive text in Rust
Rust
1
star
14

trade-card

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

microKanren

Explaining ΞΌKanren with Java and Baby Sudoku
Java
1
star
16

tiddlywiki

A TiddlyWiki
HTML
1
star
17

huffman

Huffman encoding in Elm.
Elm
1
star
18

lights-out

An Elm implementation of Lights Out
Elm
1
star
19

automaton

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

sudoku-proof

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

postscript-whisperer

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