note - Giters

Michal Sitko's repositories

mini-refined

Simple encoding of refinement types in Scala 3

Language:ScalaMIT24 40

terraform4s

Experimental Scala DSL for writing Terraform configurations

Language:Scala11 30

docker-ammonite

Dockerfile for Ammonite (Scala REPL)

Language:ShellMIT4 30

blog-examples

Code for articles at https://msitko.pl/blog/

Language:ScalaMIT2 20

dhallj-magnolia

Dhallj Encoder and Decoder derivation using Magnolia

Language:ScalaMIT2 40

Besom - an experimental pulumi-scala implementation. Also, incidentally, a broom made of twigs tied round a stick. Brooms and besoms are used for protection, to ward off evil spirits, and cleansing of ritual spaces.

Language:ScalaApache-2.0010

coursier

Pure Scala Artifact Fetching

Language:ScalaApache-2.0020

creative-scala-template

Template for those following Creative Scala

Language:ScalaApache-2.0010

dhallj

Dhall for Java

Language:JavaBSD-3-Clause020

dhallj-experiments

Experimenting with https://github.com/travisbrown/dhallj

Language:Scala030

essential-effects-code

Code for Inner Product's "Essential Effects" course.

Language:ScalaApache-2.0010

FeGenie

HMM-based identification and categorization of iron genes and iron gene operons in genomes and metagenomes

Language:Python020

gitignore

The largest collection of useful .gitignore templates

MIT000

hedy

Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.

Language:PythonEUPL-1.2010