/primitive-recursive-functions

Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
type-level-programming rust
  1. Rust 100.0%
Switch branches/tags
Nothing to show
Find file
Clone or download

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Open in Desktop Download ZIP

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching Xcode...

If nothing happens, download Xcode and try again.

Launching Visual Studio...

If nothing happens, download the GitHub extension for Visual Studio and try again.

Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.idea
src
.gitignore
.travis.yml
Cargo.lock
Cargo.toml
LICENSE
README.md
licenses.txt
primitive-recursive-functions.iml

README.md

Build Status

Conway's Game of Life at type level in Rust.

Output for BLINKER type: 
 
   Generation 1:
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - X X X - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   
   
   
   
   Generation 2:
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - X - - - - - 
   - - - - - X - - - - - 
   - - - - - X - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   
   
   Generation 3:
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - X X X - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - -

compile time for 15 generations on intel-i5 4460: 10m 01s