hablapps/bypassingfreemonads hablapps/bypassingfreemonads

  • Stars
    star
    17
  • Rank 1,257,181 (Top 25 %)
  • Language
    Scala
  • Created about 8 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hablapps/bypassingfreemonads
github

hablapps

Reviews

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

Repository Details

Object algebras vs. free monads, or type classes vs. ADTs

More Repositories

1

DontFearTheProfunctorOptics

Don't Fear the Profunctor Optics!
Haskell
419
star
2

doric

Type safety for spark columns
Scala
76
star
3

gist

Little snippets of code illustrating functional programming techniques in Scala
Scala
53
star
4

sparkOptics

Optics for Spark DataFrames
Scala
47
star
5

puretest

Purely functional testing in Scala
Scala
30
star
6

stateless

A library which is not recognized as citizen of any infrastructure.
Scala
26
star
7

scalacrashcourse

Crash course in Scala
Jupyter Notebook
24
star
8

tagless-final-tutorial

Introducing tagless-final in Scala with an example of Language-Integrated Query
Jupyter Notebook
18
star
9

LensAlgebra

Towards Optic-Based Algebraic Theories: the Case of Lenses
Coq
17
star
10

typeclassesforthemasses

Workshop Lambda World 2016
Scala
16
star
11

dataset

A proof of concept for a general batch data transformation DSL
Scala
14
star
12

updatable

Updating immutable objects in generic contexts.
Scala
13
star
13

meetapp

Scala
12
star
14

candy

Candy Crush (Scala Programming @ Madrid - December 2016)
Scala
10
star
15

LensStateIsYourFather

Lens, State is your father... and I can prove It!
Coq
10
star
16

dontfeartheoptics

Don't Fear the Optics - Workshop @ Lambda World 17
Scala
9
star
17

allroadsleadtolambdaworld

An invitation to functional programming
Scala
8
star
18

shapeaware

Code for a post on shape-aware algebraic data types and computations
Scala
7
star
19

azucar

Syntactic facilities to deal with algebras
Scala
5
star
20

workshop-lambda-world-15

Scala
5
star
21

quercus

Monadic Parser Combinators for Q
q
5
star
22

syllogisms

Scala
4
star
23

funinscala-codemotion-15

Scala
4
star
24

koky

Typeclasses, datatypes and theorems for functional programming in Coq.
Coq
4
star
25

whatlogiccanteachus

Notebook and slides for the talk "What logic can teach us" at Scalacon'22
Jupyter Notebook
3
star
26

logicandtypes

Jupyter Notebook
3
star
27

scico19

Library associated to article submitted to SCICO
Scala
2
star
28

training-urjc

Habla Computing Training
TeX
2
star
29

embeddinginscala

Slides and notebooks for the talk "Embedding external DSL in Scala: Why and How?"
Jupyter Notebook
2
star
30

pureflow

Spark ETLs, in a purely functional way
Scala
2
star
31

geofences

A proof-of-concept application to show the principles of purely functional programming
Scala
2
star
32

wecode19

Repositorio para el workshop sobre APIs funcionales en el WeCode'19
Jupyter Notebook
2
star
33

naturally

Programming in a tagless-final style, naturally
Scala
2
star
34

app-dofollow

This an implementation of a BPM software in the Speech Programming Language.
Scala
2
star
35

app-bigbrothapp

A "Big Brotha" implemented in Speech.
Scala
1
star
36

typed

Scala
1
star
37

optica

Language-integrated query from a different optic
Scala
1
star
38

seismicdata

Scala
1
star
39

app-twitter

An example to show how to implement Twitter in Speech.
Scala
1
star
40

pregel

Pregel DSL with instances for Spark and Akka
Scala
1
star
41

circuits

Scala
1
star
42

fpinscala-codemotion-2017

Repository used in Codemotion 2017 workshop - Programaciรณn Funcional en Scala
Scala
1
star
43

lambdas

Embedding of different lambda calculi in Scala
Scala
1
star
44

codemotion21

A brief talk on the Curry-Howard isomorphism, using the Scala programming language
Jupyter Notebook
1
star