maxsnew/lazy maxsnew/lazy

  • Stars
    star
    19
  • Rank 1,140,792 (Top 23 %)
  • Language
    Elm
  • License
    BSD 3-Clause "New...
  • Created almost 11 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
maxsnew/lazy
github

maxsnew

Reviews

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

Repository Details

Lazy Evaluation in Elm

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

cubical-categorical-logic

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

hakyll-elm

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

synthetic-domain-theory

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

grammars-and-semantic-actions

Monoidal Toposes of Grammars and Semantic Actions
TeX
10
star
9

cubical-cbpv

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

maxsnew.github.io

My personal website.
JavaScript
4
star
11

aoc-zydeco

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

cbpv

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

BigInt

Arbitrary-sized Integers in Elm
Elm
2
star
14

Generic

Record Types for Generic Programming in Elm
Elm
2
star
15

Scramble

Word Scramble Game in Elm: Demo at http://maxsnew.github.io/Scramble/
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