hablapps/LensAlgebra hablapps/LensAlgebra

  • Stars
    star
    17
  • Rank 1,220,593 (Top 25 %)
  • Language Coq
  • License
    Apache License 2.0
  • Created over 6 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hablapps/LensAlgebra
github

hablapps

Reviews

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

Repository Details

Towards Optic-Based Algebraic Theories: the Case of Lenses

More Repositories

1

DontFearTheProfunctorOptics

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

doric

Type safety for spark columns
Scala
74
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
29
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
23
star
8

tagless-final-tutorial

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

bypassingfreemonads

Object algebras vs. free monads, or type classes vs. ADTs
Scala
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

pregel

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

seismicdata

Scala
1
star
37

app-bigbrothapp

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

typed

Scala
1
star
39

optica

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

app-twitter

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

fpinscala-codemotion-2017

Repository used in Codemotion 2017 workshop - ProgramaciΓ³n Funcional en Scala
Scala
1
star
42

circuits

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