arnemileswinter/haskell-mu-recursive arnemileswinter/haskell-mu-recursive

  • Stars
    star
    2
  • Language
    Haskell
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
arnemileswinter/haskell-mu-recursive
github

arnemileswinter

Reviews

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

Repository Details

Simple implementation of Mu-Recursive (or ยต-recursive) functions in haskell, with the calculation steps logged.

More Repositories

1

godot-tilemap-flowfields

Plugin to generate flowfields from tilemaps in the Godot Engine!
Rust
28
star
2

jungle-chess

Play jungle chess on the linux terminal.
Rust
10
star
3

jungle-chess-web

a web frontend to jungle chess using web assembly and html.
JavaScript
7
star
4

itc

Haskell implementation of Interval Tree Clocks as described by Almeida, Paulo & Baquero, Carlos & Fonte, Victor. (2008). Interval Tree Clocks: A Logical Clock for Dynamic Systems. 5401. 259-274. 10.1007/978-3-540-92221-6_18.
Haskell
5
star
5

graph-jiz

a minimal DOT alternative with a sleek syntax and math support.
Vue
4
star
6

rust-atmega2560-cross-compile-nix-blinking-led

an example of a nix flake to provide a dev environment to cross compile a simple arduino program for the atmega2560.
Nix
3
star
7

godot-cube-gizmo-demo

This project serves as an example for creating and using Gizmo Plugins in Godot 4.1.
GDScript
2
star
8

hmugo

Hmugo is a highly opinionated but therefore simple-to-use CMS for managing content of a Hugo-based blog.
2
star
9

MicroPNM

MicroPNM is a lightweight, zero-dependency Rust crate for parsing binary PPM image files. It is designed to with minimal memory usage and is suitable for embedded contexts and WebAssembly.
Rust
2
star
10

functional-tic-tac-toe

From live stream.
Haskell
1
star
11

magicarp-barbara-frp

A terminal app to display arguments with a nice FRP animation. Built with reactive-banana and termbox-banana.
Haskell
1
star
12

UOL-Game-Jam

Game Jam entry written in LibGDX for the Uni Oldenburg Game Jam 2019. The topic was "unwanted powers". You play a virus in a person's body and your goal is to infect the organism and not be defeated by the nanobots within!
Java
1
star
13

godot-rust-hello-world

Rust
1
star
14

rabbitgd

asynchronous AMQP-0-9-1 implementation for Godot with RabbitMQ extensions
GDScript
1
star