gridbugs/why3

Stars
1
Language
OCaml
License
Other
Created over 1 year ago
Updated over 1 year ago

gridbugs/why3

gridbugs

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

copy of https://gitlab.inria.fr/why3

wfc

Crates implementing the Wave Function Collapse algorithm

mos6502

An emulator for the Nintendo Entertainment System

chargrid

Collection of rust libraries for making cross-platform text UI applications

roguelike-lighting-demo

slime99

gws

chargrid-roguelike-tutorial-2020

howl

meters-below-the-ground

punchcards

skeleton-crew

grid-2d

A general purpose 2d grid implemented in rust

orbital-decay

apocalypse-post

boat-journey

dotfiles

direction

Representation of directions in rust

shadowcast

Implementation of the recursive shadowcast visible-area detection algorithm

small-wolf

nix-shell-locked

Wrapper of `nix shell` that reads a lockfiles to get the nixpkgs revision to use when sourcing packages to install in transient shell

lighting-experiment

glacial

Turn-based dungeon crawler where the player explores a city under a glacier

hello-kernel

grid-search

dune-monorepo-bench

rip

rl1

general-audio

Interfaces to audio playback, with several implementations

unfinished-game

rainforest

coord-2d

gridbugs.org

lisp1

visible-area-detection

spatial-table

Bi-directional association between entities and 2D grid locations

genecs

Code generation framework for entity component systems in rust

meap

game-lib-example

agda-helper

A command line program for normalizing and type-evaluating agda expressions.

advent-of-code-2019

vendor-ctypes-experiment

tftp-ro