Pinned Repositories
ACT2023Tutorials
advent-of-code-2020.rs
Solutions of Advent of Code 2020 problems
AndroidSDKV11
Acuant's latest SDK with most advanced image capture technology and optimized user workflow
angular-slider
Slider directive implementation for AngularJS, without jQuery dependencies
cephalopod.rs
Coding test solution
ChaosQuantified.jl
Julia utility lib for analysing nonlinear dynamic system, especially chaotic ones
gff
krczeu
Sources for http://krcz.eu personal blog
zygote
Explorations in area of programming languages: concepts, typing, formal verification
krcz's Repositories
krcz/zygote
Explorations in area of programming languages: concepts, typing, formal verification
krcz/ACT2023Tutorials
krcz/advent-of-code-2020.rs
Solutions of Advent of Code 2020 problems
krcz/AndroidSDKV11
Acuant's latest SDK with most advanced image capture technology and optimized user workflow
krcz/angular-slider
Slider directive implementation for AngularJS, without jQuery dependencies
krcz/cephalopod.rs
Coding test solution
krcz/ChaosQuantified.jl
Julia utility lib for analysing nonlinear dynamic system, especially chaotic ones
krcz/gff
krcz/krczeu
Sources for http://krcz.eu personal blog
krcz/cucumber
Cucumber Test Framework & Plugin for SBT (BDD Testing in Scala)
krcz/dotfiles
My config files
krcz/ff
Traits and utilities for working with finite fields.
krcz/hyperboli-clj
Playing with Cljs and Reagent to visualize hyperbolic plane
krcz/ling
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
krcz/mill
Your shiny new Java/Scala build tool!
krcz/OpenBCI_Python
The Python software library designed to work with OpenBCI hardware.
krcz/OpenBCI_WIFI
Firmware library that runs on the OpenBCI WiFi Shield
krcz/prometheus-ecs-sd
ECS Service Discovery for Prometheus
krcz/scala-exercism
Exercism exercises in Scala.
krcz/spark
Mirror of Apache Spark
krcz/spark-event-time
Examples of event time based processing in Spark Streaming
krcz/spark-jobserver
REST job server for Apache Spark
krcz/TerminalFrost.js
krcz/whacked-blocks-circus
Learning fun project utilizing Rust, tokio, and smart contracts developed druing Whacked Blocks 2018 hackaton