Beast code in Giters

Igal Tabachnik's starred repositories

awesome-courses

:books: List of awesome university courses for learning Computer Science!

55702 2291 76

git-flight-rules

Flight rules for git

CC-BY-SA-4.041688 655 73

mtheme

A modern LaTeX Beamer theme

Language:TeX6332 131 276

scalaz

Principled Functional Programming in Scala

Language:ScalaNOASSERTION4668 209 548

awesome-recursion-schemes

Resources for learning and using recursion schemes.

1210 45 6

scala-pet-store

An implementation of the java pet store using FP techniques in scala

Language:ScalaApache-2.01062 36 58

intellij

IntelliJ plugin for Bazel projects

Language:JavaApache-2.0757 41 1386

magnolia

Easy, fast, transparent generic derivation of typeclass instances

Language:ScalaApache-2.0755 47 202

FP-Course-ITMO

Slides and other materials for functional programming lectures ITMO university

Language:Haskell614 36 6

freestyle

A cohesive & pragmatic framework of FP centric Scala libraries

Language:ScalaApache-2.0613 41 246

learn-fp

learn-by-doing course/tutorial for functional programming on scala

Language:ScalaGPL-3.0610 38 1

reftree

Automatically generated diagrams and animations for Scala data structures

Language:ScalaGPL-3.0586 26 22

scalaz-and-cats

Usage examples and benchmarks between Scalaz and Cats (w/ Haskell ground-truth).

Language:Scala489 32 3

rules_scala

Scala rules for Bazel

Language:StarlarkApache-2.0359 44 549

fun-cqrs

Fun.CQRS is a Scala CQRS/ES framework. It provides the basic blocks to build event driven aggregates with Event Sourcing.

Language:ScalaNOASSERTION332 26 58

gll-combinators

A parser combinator library based on the GLL algorithm

Language:ScalaApache-2.0301 18 19

CS410-17

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

Language:Agda262 23 3

ProvingGround

Proving Ground: Tools for Automated Mathematics

Language:Jupyter NotebookMIT202 24 262

Structures

Functional type classes for Scala

Language:ScalaNOASSERTION184 24 2

scala-class

Lecture slides, labs, and tutorials from our 8-week Scala course.

Language:HTMLCC0-1.096 9 4

dotfiles-nixos

source drop as reference for others on how to setup nixos and share configs between multiple machines

Language:NixMIT86 3 3

docless

A scala DSL to generate JSON schema and swagger documentation for your web services.

Language:ScalaMIT78 10 4

managedt

A monad for resource acquisition and cleanup

Language:ScalaApache-2.054 2 3

intellij-eta

An Intellij Plugin for the Eta programming language

Language:HaskellBSD-3-Clause52 9 9

free-prisoners

Prisoner's Dilemma game engine implemented using Cats Free Monad and Freestyle

Language:Scala39 70

capitalizing-on-a-great-idea

Samples for "Become a super user with IntelliJ" talk

Language:JavaMIT32 30

typeclassesforthemasses

Workshop Lambda World 2016

Language:Scala1600

cats-logo

Cats Free Monad implementation of a Logo interpreter

Language:Scala14 20

lambdaconf2017_workshop

Practical FP in Scala workshop

Language:Scala9 20

parser-combinators-scala-hands-on

A series of exercises on functional parsers

Language:Scala2 40