benkio

Xebia FunctionalLondon

Pinned Repositories

AWTProjectSensors
Project for the "Advanced Web Application" University Course (not so advanced at least). Use of JSPs, servlet, applet, web services, Javascript Ajax calls, comet notifications and Java RIA. The idea is to build a fake sensor report and management site.
Language:Java10
benkio.github.io
Language:HTML01
ButtonLedSystemFP
Language:Haskell10
ButtonLedSystemOOP
Language:Scala10
emacs-config
Language:Roff00
GeneralExercises
General exercises
Language:Haskell21
ITC-Slides
Repository of my slides about ITC in general
Language:HTML20
MySpacemacsConf
Spacemacs private layer and configuration.
Language:Emacs Lisp20
nix-config
Language:Nix10
sBots
Collection of Scala bots based on different characters
Language:Scala11

benkio's Repositories

benkio/GeneralExercises
General exercises
Language:Haskell21
benkio/ITC-Slides
Repository of my slides about ITC in general
Language:HTML20
benkio/MySpacemacsConf
Spacemacs private layer and configuration.
Language:Emacs Lisp20
benkio/ButtonLedSystemFP
Language:Haskell10
benkio/Coursera-BigDataSpark
Repository for the Coursera Course of Big Data with Scala and Spark
Language:Scala1
benkio/CourseraEffectiveProgrammingInScala
Language:Scala1
benkio/fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
Language:Scala1
benkio/FPML
Language:Java1
benkio/nix-config
Language:Nix10
benkio/purescript-book
Sources for the PureScript book
Language:PureScript1
benkio/realWorldHaskell
Real World Haskell Book Exercises
Language:Haskell1
benkio/sBots
Collection of Scala bots based on different characters
Language:Scala11
benkio/benkio.github.io
Language:HTML01
benkio/emacs-config
Language:Roff00
benkio/2020TypescriptCourse
https://www.youtube.com/watch?v=BwuLxPH8IDs
Language:TypeScript
benkio/cats
Lightweight, modular, and extensible library for functional programming.
Language:Scala
benkio/circe
Yet another JSON library for Scala
benkio/emacs-language-id
Emacs Lisp library to work with programming language identifiers
benkio/HackerRank
My HackerRank repository of madness
Language:Scala
benkio/iozhik
Smart routing language
benkio/Irc4s
Language:Scala
benkio/log4cats
Logging Tools For Interaction with cats-effect
benkio/MinecraftServer
Backup of my minecraft server with friends, and shared by multiple host
Language:Batchfile
benkio/random-repo
Language:Scala
benkio/scala-steward-repos
Language:Shell
benkio/sup
Composable, purely functional healthchecks in Scala.
benkio/telegramium
Telegramium or F[ Tg ] - pure functional Telegram Bot API implementation for Scala.
Language:Scala
benkio/testcontainers-scala
Docker containers for testing in scala
benkio/TheBindingOfRichard
Language:Haskell2 2
benkio/ThesisExamples
Thesis Example Code
Language:JavaScript