zainab-ali/tlaplus-fs2-observe zainab-ali/tlaplus-fs2-observe

  • Stars
    star
    4
  • Rank 3,217,856 (Top 65 %)
  • Language TLA
  • License
    Apache License 2.0
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zainab-ali/tlaplus-fs2-observe
github

zainab-ali

Reviews

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

Repository Details

A formal specification of fs2's `observe` function

More Repositories

1

fs2-reactive-streams

A reactive streams implementation for fs2
Scala
61
star
2

pair-tree.el

An Emacs Lisp cons cell explorer
Emacs Lisp
51
star
3

sbt-sammy

A floating threshold for compiler warnings
Scala
27
star
4

aquascape

Diagrams for fs2
Scala
22
star
5

titanic

Predicting survival on the Titanic
Scala
15
star
6

pie

A tutorial on functional Scala, cats effect and fs2
Scala
8
star
7

scala3-typed-holes

A WIP of scala-typed-holes for Scala3
Scala
6
star
8

scala-effects

A few exercises on Cats Effect 3, IO and streams
Scala
6
star
9

domainion

A domain specific language for deck building games
Haskell
5
star
10

pollen-mode

Emacs major mode for editing pollen markup
Emacs Lisp
2
star
11

coe-xx

The craft of emacs cross stitch code and demos.
Emacs Lisp
2
star
12

advent-of-code-idris

Advent of Code in Idris
1
star
13

purescript-button

Purescript Halogen button example covered in last syntactic sugar session
PureScript
1
star
14

sbt-teatime

Scala
1
star