bridgekat/filter-game bridgekat/filter-game

  • Stars
    star
    2
  • Language Lean
  • License
    Apache License 2.0
  • Created almost 1 year ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bridgekat/filter-game
github

bridgekat

Reviews

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

Repository Details

Lean 4 version of the filter game.

More Repositories

1

vxrt

Voxel raycasting test.
C++
14
star
2

zenith

Rust
7
star
3

NEXWorld

Yet another Minecraft-one-week-challenge?
C++
5
star
4

sdl-opengl

SDL + OpenGL project templates
C++
1
star
5

leansubst

An Autosubst-like tool for handling de Bruijn indices.
Lean
1
star
6

c-project-extension-group-48

Our extension part for the first year C group project at Imperial College London Department of Computing
Assembly
1
star