maxsnew/Scramble maxsnew/Scramble

  • Stars
    star
    2
  • Language
    Elm
  • Created over 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
maxsnew/Scramble
github

maxsnew

Reviews

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

Repository Details

Word Scramble Game in Elm: Demo at http://maxsnew.github.io/Scramble/

More Repositories

1

modal-scheme

A Scheme-like CBPV language with Racket Interoperability
Racket
39
star
2

cargo-dot

Generate graphs of a Cargo project's dependencies
Rust
37
star
3

virtual-equipments

Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory
TeX
29
star
4

IO

IO for Elm
Elm
29
star
5

lazy

Lazy Evaluation in Elm
Elm
19
star
6

cubical-categorical-logic

Extensions to the cubical stdlib category theory for categorical logic/type theory
Agda
16
star
7

hakyll-elm

Hakyll wrapper for the Elm (http://elm-lang.org) compiler
Haskell
14
star
8

synthetic-domain-theory

Experiment with synthetic domain theory in cubical agda
Agda
14
star
9

grammars-and-semantic-actions

Monoidal Toposes of Grammars and Semantic Actions
TeX
10
star
10

cubical-cbpv

A Formalization of Internal CBPV Models in Cubical Agda
Agda
8
star
11

maxsnew.github.io

My personal website.
JavaScript
4
star
12

aoc-zydeco

Advent of Code Solutions written in Zydeco, a Call-by-push-value language
2
star
13

cbpv

Implementation of Call-by-push-value in Racket
Racket
2
star
14

BigInt

Arbitrary-sized Integers in Elm
Elm
2
star
15

Generic

Record Types for Generic Programming in Elm
Elm
2
star
16

delim-cont-toys

Haskell, Redex Models of (Delimited) Continuations
Racket
1
star
17

wedding-website

CSS
1
star
18

advent-of-cbpv

Advent of Code Solutions in Fiddle, a Scheme-like language based on Call-by-push-value
Racket
1
star