• Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    HTML
  • Created about 5 years ago
  • Updated 3 months ago

Reviews

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

Repository Details

Slides for a talk on ADTs and GADTs

More Repositories

1

kantan.csv

CSV handling library for Scala
Scala
345
star
2

scala-best-practices

Collection of best practices for the Scala programming language
CSS
233
star
3

kantan.xpath

XPath wrapper for Scala
Scala
56
star
4

kantan.regex

Regular expression library for Scala
Scala
23
star
5

kantan.dtables

Scala
17
star
6

talk-scala-best-practices

Talk on Scala best practices
HTML
12
star
7

kantan.codecs

Generic encoders / decoders for the various kantan libraries.
Scala
10
star
8

kantan.parsers

Scala
9
star
9

kantan.dot

Scala
8
star
10

fetch

Scala HTTP client library
Scala
8
star
11

nrinaudo.github.com

CSS
6
star
12

workshop-finch

Finch introduction workshop
HTML
5
star
13

kantan.mongodb

Sane MongoDB library for Scala
Scala
4
star
14

dsl-tagless

HTML
4
star
15

pbt-functions

Demonsrates shrinking and showing of arbitrary functions
Scala
3
star
16

type-classes-from-the-ground-up

Slides for a talk on typeclasses, using CSV as a running example
HTML
3
star
17

kantan.repl

Scala
2
star
18

kantan.sbt

Support SBT plugin for kantan libraries
Scala
2
star
19

optics-from-the-ground-up

Slides for a talk on optics
HTML
2
star
20

sbt-glpages

SBT autoplugin for publishing documentation to Gitlab Pages
Scala
2
star
21

playground

Somewhere for me to store all my exploratory code
Scala
2
star
22

lsp-demo

Toy language to play with LSP integration
Scala
1
star
23

shrinking-showing-functions

Slides for my "Shrinking and showing functions (in Scala)" talk
HTML
1
star
24

much-ado-about-testing

Slides of my "much ado about testing" presentation
HTML
1
star
25

function-reuse

HTML
1
star
26

workshop-minimum-git

Workshop intended to teach what I think the minimum git knowledge should be
1
star
27

recursion-schemes-from-the-ground-up

HTML
1
star