Λ's repositories
ackmi-discord-bot
Discord Bot written in Scala with music, and other features...
awesome-recursion-schemes
Resources for learning and using recursion schemes.
awesome-zio
A big collection of useful ZIO links
bytes-java
Bytes is a utility library that makes it easy to create, parse, transform, validate and convert byte arrays in Java. It supports endianness as well as immutability and mutability, so the caller may decide to favor performance.
clj-ds
Clojure's data structures modified for use outside of Clojure
coq-lecture-notes
Coq Lecture Notes (WIP)
envelope-scala
Micro-helper for AWS Telegram Bots written in pure functional Scala
fpmortals
source and examples to Functional Programming for Mortals with Scalaz
fpure-telegram-bot
Scala Telegram Bot wrote in Tagless Final style with ToFu and Cat`s
free-monads-from-scratch
Free monads from scratch is a talk about Free monads, their motivation, their use cases for "real-world applications", and their implementation. It is mostly based on Wouter Swierstra's paper, Data Types à la carte.
HoTT-Intro
An introductory course to Homotopy Type Theory
Idris-Trifunctors
Trifunctors in Idris
LilleFP
Talk about my evolution from Java dev to pure FP Scala dev.
Mesa
Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.
misbrands
The world's most hated IT stickers
Scala-1
All Algorithms implemented in Scala
ScalaProject
The best telegram bot ever seen
sequent-calc
Experiments with sequent calculi
slides
Our slides for meetups and conferences
StoneShardEnchantEditor
Enchant Editor
study
Study of language design and implementation.
tartlet
dependently-typed language (baking little pie) in javascript
tg-minigamebot
A Telegram bot to provide Multiplayer minigames, using the Telegram Scala API.
tgbot-utils
Collection of utilities for building Telegram bots in Scala
zio-cheatsheet
ZIO Cheat Sheet
zio-cookbook
Cookbook apps for ZIO
zio-grpc-hello-world
Lightweight hello world based on https://github.com/scalapb/zio-grpc/examples
zio-todo-adfs-GraphQL-REST-Postgres
An application that has a ZIO backend, ADFS authentication, GraphQL and REST endpoints and a Postgres db. Deployed with GraalVM docker container.
zumba
Simple video-chat with desktop client