MateuszKubuszok/derivation-benchmarks

Benchmarks and examples for a "Slow Auto, Inconvenient Semi" presentation

Language: Scala - Size: 111 KB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 16 - Forks: 4

MateuszKubuszok/SlowAutoInconvenientSemiUpdated

Updated talk for Scalar 2025 conference I gave on 25.03.2025

Language: JavaScript - Size: 6.07 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

MateuszKubuszok/SlowAutoInconvenientSemi

Talk for Art of Scala conference I gave on 10.10.2024 and Scala IO I have on 2024.11.07

Language: JavaScript - Size: 6.05 MB - Last synced at: 3 days ago - Pushed at: 6 months ago - Stars: 3 - Forks: 0

scalalandio/pulp 📦

Scala library for guiceless dependency injection

Language: Scala - Size: 210 KB - Last synced at: 2 days ago - Pushed at: over 4 years ago - Stars: 31 - Forks: 1

tek/splain

better implicit errors for scala

Language: Scala - Size: 1.11 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 371 - Forks: 28

rchillyard/TableParser

Scala parser of Csv files

Language: Scala - Size: 17.2 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 11 - Forks: 3

mtumilowicz/scala213-functional-programming-collections-workshop

Introduction to Scala and functional programming collections: list, stream and tree.

Language: Scala - Size: 136 KB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

mtumilowicz/scala-cats-implicit-workshop

Introduction to scala implicit systems with examples.

Language: Scala - Size: 96.7 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

p0nce/implicit-context

Experimental contextual parameters (like Odin contexts and Scala implicits and Jai) but for D as-a-library

Language: D - Size: 34.2 KB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

ajrouvoet/implicits.agda

Mechanized formalization of Implicit resolution in Agda

Language: Agda - Size: 510 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 6 - Forks: 0

hermannhueck/typeclasses

Type Classes in Scala and Haskell

Language: Scala - Size: 3.89 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

hermannhueck/revisiting-implicits-without-import-tax

revisiting-implicits-without-import-tax

Language: Scala - Size: 10.7 KB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

propensive/frontier

Language: Scala - Size: 1000 Bytes - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

Skamandrios42/pneuma

The Pneuma Programming Language will combine dependent types, implicits and modules in one small concise language.

Language: Scala - Size: 1.13 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

sebdevine/implicit_globals

A Python decorator which allow runtime overrides of a function's global and default variables.

Language: Python - Size: 16.6 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 1

krzys9876/command-line-reader

Command-line arguments reader to a class with respective fields

Language: Scala - Size: 59.6 KB - Last synced at: 28 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

7mind/no-more-orphans

Companion repository for 'No More Orphans'

Language: Scala - Size: 43 KB - Last synced at: 12 months ago - Pushed at: over 2 years ago - Stars: 14 - Forks: 1

anler/implicits

Implicit function parameters in Clojure

Language: Clojure - Size: 8.79 KB - Last synced at: 2 months ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 0

dhinojosa/scala-implicits-katacoda

A list of katacoda-scenarios

Language: Shell - Size: 103 KB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 1

DarkDesire/scala-advanced

Scala Advanced

Language: Scala - Size: 71.3 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

fpopic/scala-code-generation-poc

(Learning) shapeless / scalamacros / scalameta

Language: Scala - Size: 498 KB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

ajatix/calculate

A Scala implementation of a calculator to illustrate Functional Programming concepts like ADTs, Implicits and Typeclasses

Language: Scala - Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

eyalroth/ScalaImplictsProposal

Size: 55.7 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

kubukoz/beckon

Language: Scala - Size: 7.81 KB - Last synced at: 4 days ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 1

danwerner/scala-advanced-talk

Scala Advanced Features Talk, as held at Süddeutsche Zeitung in January 2018

Language: Scala - Size: 8.79 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0