vpavkin/recursive-implicit-proofs-talk vpavkin/recursive-implicit-proofs-talk

  • Stars
    star
    2
  • Language
    Scala
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vpavkin/recursive-implicit-proofs-talk
github

vpavkin

Reviews

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

Repository Details

Code examples for my talk on implicit proofs with shapeless HLists

More Repositories

1

circe-magnolia

Circe codec derivation using magnolia
Scala
85
star
2

i-have-money

Rich-featured example of event-sourced application with full CQRS support.
Scala
75
star
3

scala-js-momentjs

Scala.js faรงade for Moment.js
Scala
45
star
4

ticket-booking-aecor

Sample application for "Aecor โ€” Purely functional event sourcing in Scala" series.
Scala
44
star
5

telegram-bot-fs2

Example telegram bot implementation using fs2 and http4s client (no akka)
Scala
41
star
6

dtc

Provides type classes for datetime values. Works both on JVM & ScalaJS.
Scala
40
star
7

scalajs-library-tips

Snippets and examples for an article on writing idiomatic JS libraries with ScalaJS
Scala
19
star
8

neural-networks-scala

Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala
Scala
15
star
9

scalist

Todoist API client library for Scala
Scala
14
star
10

i-have-money-app

Open source application for tracking personal fortune: assets, income and expenses.
Scala
12
star
11

GoRefactor

refactoring tool for Go Programming Language
Go
5
star
12

flux-tree

Archived
JavaScript
4
star
13

types-vs-test-slides

My presentation on Scala Type System
CSS
2
star
14

RPZ

2
star
15

scalajs-workshop

Scala
1
star
16

qiwi-stats-monster

Qiwi SST stats analytics tool
ActionScript
1
star
17

hlist-request-builder

Example project for "Implementing type-safe request builder: practical use of HList constraints"
Scala
1
star
18

backtester

Sports betting strategies backtester
JavaScript
1
star
19

flux-starter

Flux App Starter
JavaScript
1
star
20

instagrame

Iphone photo sharing game prototype
Objective-C
1
star
21

qiwi-facemash

Hackathon project at QIWI. Powered by Meteor
CSS
1
star
22

custom-data-validation-rules-with-shapeless-tags

Demo project for "Custom data validation rules with Shapeless tags" article
Scala
1
star