Pinned Repositories
flow-comprehensions
Work in progress: Simpler and more powerful alternative to Scala's built-in for-comprehension syntax
AutoLifts
Automatic functional lifting, mapping and folding.
codespaces-teaching-template-py
Codespaces template for teaching Python
codingdojo.org
Codingdojo web site
docs.scala-lang
The Scala Documentation website
modelchecker
scaml
An embedded DSL in Scala to write markup.
Scex
An inner DSL in Scala to write documents
Jentsch's Repositories
Jentsch/modelchecker
Jentsch/scaml
An embedded DSL in Scala to write markup.
Jentsch/Scex
An inner DSL in Scala to write documents
Jentsch/AutoLifts
Automatic functional lifting, mapping and folding.
Jentsch/codespaces-teaching-template-py
Codespaces template for teaching Python
Jentsch/codingdojo.org
Codingdojo web site
Jentsch/docs.scala-lang
The Scala Documentation website
Jentsch/dotty
The Scala 3 compiler, also known as Dotty.
Jentsch/extension-kafka
Axon Framework extension for Kafka integration
Jentsch/improvement-proposals
Scala Improvement Proposals
Jentsch/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Jentsch/monadstuff
Jentsch/sbt-site
Site generation for SBT
Jentsch/scala-intro
Jentsch/scalatest-example.g8
Jentsch/scaml-doc
extension of scaml to write documents
Jentsch/Scaml-Intro
Introduction for the scaml project
Jentsch/scaml-play-example
Scaml example within the Play framework
Jentsch/setup-python
Set up your GitHub Actions workflow with a specific version of Python
Jentsch/zio-se
State Explorer for Zio