liamoc/rust-tetris liamoc/rust-tetris

  • Stars
    star
    1
  • Language
    Rust
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
liamoc/rust-tetris
github

liamoc

Reviews

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

Repository Details

A small tetris clone in Rust

More Repositories

1

learn-you-an-agda

Learn you an Agda (and achieve enlightenment)
Agda
310
star
2

holbert

A graphical interactive proof assistant designed for education
Haskell
158
star
3

patches-vector

A library for patches (diffs) on vectors: composable, mergeable and invertible
Haskell
55
star
4

latex-formulae

Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
Haskell
54
star
5

dixi

A wiki based on firm theoretical foundations
Haskell
52
star
6

wizards

High level, generic library for interrogative user interfaces in Haskell
Haskell
41
star
7

hilbert

An intensely interactive, graphical theorem prover based on natural deduction
Haskell
30
star
8

desktop_games

a collection of desktop games written in rust
Rust
19
star
9

dddp

Deferring the Details and Deriving Programs
TeX
14
star
10

pongell

crappy pong clone written in haskell
9
star
11

composition-tree

Composition trees for arbitrary monoids.
Haskell
9
star
12

gentzen

A beginner's theorem prover
Haskell
8
star
13

agda-snippets

Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Haskell
8
star
14

tesserae

A library for manipulating 8x8 2-color tile graphics in the spirit of 8-bit text mode drawing.
Rust
8
star
15

outside-in

Formalisation of The GHC Team's OutsideIn(X) in Agda.
8
star
16

opardum-server

operational transforms based collaborative editing server written all in literate haskell
JavaScript
7
star
17

tea-hs

2d game creation library for Haskell
Haskell
6
star
18

me-em

Model Examples, Example Models
Agda
6
star
19

standard

Sphere Standard Engine
4
star
20

spacemacs-agda

A little agda layer for spacemacs
Emacs Lisp
4
star
21

liamoc.net

my gnu-make-powered website
TeX
4
star
22

pl-course-book

A book based on course notes written over the years for a UNSW PL course
TeX
3
star
23

pretty-show-ansi-wl

Pretty-show, but for ansi-wl-pprint
Haskell
2
star
24

gameupdater_client

Client for GameUpdater
2
star
25

botz-rs

a port of Kevin Laity's classic physics toy to Rust and egui
Rust
2
star
26

sfont-hs

Haskell port of the SFont Library
Haskell
2
star
27

sprig-hs

SDL Primitive Generator bindings to Haskell
Haskell
2
star
28

gameupdater_server

Server for GameUpdater
2
star
29

6502_mep

Micro Entertainment Pack games for 6502 systems
Assembly
2
star
30

elm-redex

An 8-hour project, writing an interactive untyped lambda calculus interpreter/rewriter in elm.
JavaScript
2
star
31

generators

composable monadic random value generators
Haskell
2
star
32

geordi

Well-typed, minimalist web-framework for GHC Haskell
Haskell
1
star