hablapps/optica hablapps/optica

  • Stars
    star
    1
  • Language
    Scala
  • License
    Apache License 2.0
  • Created over 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hablapps/optica
github

hablapps

Reviews

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

Repository Details

Language-integrated query from a different optic

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

bypassingfreemonads

Object algebras vs. free monads, or type classes vs. ADTs
Scala
17
star
11

typeclassesforthemasses

Workshop Lambda World 2016
Scala
16
star
12

dataset

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

updatable

Updating immutable objects in generic contexts.
Scala
13
star
14

meetapp

Scala
12
star
15

candy

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

LensStateIsYourFather

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

dontfeartheoptics

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

allroadsleadtolambdaworld

An invitation to functional programming
Scala
8
star
19

shapeaware

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

azucar

Syntactic facilities to deal with algebras
Scala
5
star
21

workshop-lambda-world-15

Scala
5
star
22

quercus

Monadic Parser Combinators for Q
q
5
star
23

syllogisms

Scala
4
star
24

funinscala-codemotion-15

Scala
4
star
25

koky

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

whatlogiccanteachus

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

logicandtypes

Jupyter Notebook
3
star
28

scico19

Library associated to article submitted to SCICO
Scala
2
star
29

training-urjc

Habla Computing Training
TeX
2
star
30

embeddinginscala

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

pureflow

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

geofences

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

wecode19

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

naturally

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

app-dofollow

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

app-bigbrothapp

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

typed

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