Nikola Kasev's repositories
workshop-baker
A workshop for Java developers to get started with Baker
haskell-playground
Experimenting with Haskell
hello-tlaplus
Learning how to formally specify distributed systems using TLA+
tibco-deployment
This is a rudimentary deployment framework for deploying TIBCO BusinessWorks 5
aoc2020-python
Doing the Advent of Code 2020 challenges in Python.
clojure-playground
A playground repository to experiment with Clojure.
discrete-optimization
Examples and exercises from the basic Discrete Optimization course on Coursera
land-of-lisp
Playing around with examples from the Land of Lisp book by Conrad Barski, M.D.
aoc2019-rust
Learning Rust by applying it
apiNG
angular module to get and display data by adding html-attributes
elm-decode-pipeline
A pipeline-friendly library for building decoders.
football
This is an Elm app to manage the setup of a football team
functional-scala
Exercises from the Functional Programming in Scala book by Chiusano and Bjarnason
hello-alloy
Learning and applying https://alloytools.org/
hello-baker
This is an example Scala project that uses Baker
hello-grakn
Evaluating the capabilities of https://grakn.ai/
hello-spring-boot
Experimenting with Spring Boot to create a RESTful API.
list-extra
Convenience functions for working with List.
nikolakasev.github.io
AlgoHusky's Company Website
practical-tla-plus
Source Code for 'Practical TLA+' by Hillel Wayne
presentations
A collection of presentations
progfun2-quickcheck
This is week 3 of the Functional Program Design in Scala course
progfun2-streams
This is the assignment from week 2 of the Functional Program Design in Scala course on Coursera
sicp-exercises
Exercises from the Structure and Interpretation of Computer Programs book (SICP)