zainab-ali/scala3-typed-holes zainab-ali/scala3-typed-holes

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Scala
  • License
    Apache License 2.0
  • Created almost 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zainab-ali/scala3-typed-holes
github

zainab-ali

Reviews

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

Repository Details

A WIP of scala-typed-holes for Scala3

More Repositories

1

fs2-reactive-streams

A reactive streams implementation for fs2
Scala
63
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

Alternative fs2 docs
Scala
24
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

scala-effects

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

domainion

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

tlaplus-fs2-observe

A formal specification of fs2's `observe` function
TLA
4
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