pnotequalnp/game-of-life

Stars
1
Language Idris
License
ISC License
Created about 3 years ago
Updated about 3 years ago

pnotequalnp/game-of-life

pnotequalnp

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

Conway's game of life in Idris 2 with comonads

valid-reasons-to-use-java

Exhaustive list

nix-config

NixOS system configurations and Nix user configurations

cubing.rs

Rubik's cube simulation and solving

ordinis

The Language of Rows

advent-of-code

Advent of Code Framework for Haskell

topless

Convertible types

cookie-to-auth

Transform cookies into an Authorization header for Hasura

brainfuck

Configurable Brainfuck Interpreter and Optimizing Compiler with JIT

chess

Simple chess library/application

curve

Simple Discord bot in Haskell