S P's repositories
evmc
a simple cli tool to load a contract code up in your IDE instantly.
functions-from-zero
A repo to learn functions
testing-distributed-systems
Curated list of resources on testing distributed systems
assimilate-databricks
A repo to assimilate databricks
Elm_playground
Playing with Elm
BlockchainUnderTheHood
Blockchain Under the Hood (presentation): a simple introduction to how a Blockchain works and where we can use it
introToFunctional
Introduction to functional programming slides
hackFC
Future Cities Hackathon project
WAProject
WA Project, using Asp.MVC and Akka.Net on Mono
formalising-mathematics
Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.
k8s_first
First K8s cluster project
math-as-code
a cheat-sheet for mathematical notation in code form
i3-volume
Volume control and volume notifications
fastapi
Demo of FastAPI
DataScience-Demo-2022
This is my portfolio project (DevOps, DataOps, MLOps Specialization)
testudinal-haskell
Haskell programming with Turtle drawing, for ages 9–13
logical_verification_2021
Quantum formalism course on logical verification and software verification
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
fpiscompanion
Companion booklet for "Functional Programming in Scala"
blockchain-for-software-engineers
A curated list of resources for blockchain engineers
SAFE-Dojo
An introductory dojo to learn how to develop full stack web applications in F#
Best-websites-a-programmer-should-visit
:link: Some useful websites for programmers.
awesome-db
A curated list of amazingly awesome database libraries, resources and shiny things by https://www.numetriclabz.com/
Data-Structures-And-Algorithms-Hacktoberfest18
List of data structures and algorithms. Feel free to contribute under Hacktoberfest '18!
cloudstate
Towards Serverless 2.0
exercises-scalacheck
Exercises about Property-based testing for Scala
remote-manifesto
A series of basic principles to follow in order to excel at working remotely