• Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Haskell
  • License
    MIT License
  • Created over 2 years ago
  • Updated over 2 years ago

Reviews

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

Repository Details

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.

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

graph-jiz

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

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
6

godot-cube-gizmo-demo

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

haskell-mu-recursive

Simple implementation of Mu-Recursive (or ยต-recursive) functions in haskell, with the calculation steps logged.
Haskell
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