Pinned Repositories
anencoding
ANEncoding using AspectC++
BCD
FromRecord
fwlj
hertzlichst
An experiment with functional music composition based on just one tone
OpenWithHack
Allows using any application you like for opening files in Gnome
shapeless-unification
Unification of arbitrary Scala case-classes using shapeless
SubtypeMachine
JanBessai's Repositories
JanBessai/FromRecord
JanBessai/BCD
JanBessai/OpenWithHack
Allows using any application you like for opening files in Gnome
JanBessai/fwlj
JanBessai/hertzlichst
An experiment with functional music composition based on just one tone
JanBessai/shapeless-unification
Unification of arbitrary Scala case-classes using shapeless
JanBessai/SubtypeMachine
JanBessai/braga-cost
Exploration of Cost Models for the Braga Method
JanBessai/catloader
Shows Pictures from Wikimedia
JanBessai/ecoop-coco-presentation
Presentation of the CoCo Design Pattern @ ECOOP
JanBessai/ecoop2021artifacts
Artifacts for ECOOP2021 CoCo Submission
JanBessai/EPAndFeatherweightCalculi
JanBessai/gnutest
Test _GNU_SOURCE with qtcreator
JanBessai/inhab-akka
Inhabitation of Simply Typed Lambda Calculus using Akka
JanBessai/jack2
jack2 codebase
JanBessai/javaparser
Java 1.8 Parser and Abstract Syntax Tree for Java –
JanBessai/LiftableGeneric
Generic Quasi Quoting
JanBessai/nixpkgs
Nix Packages collection
JanBessai/sbt-antlr4
JanBessai/sbt-release-early
Opinionated sbt plugin to release your artifacts early, both on merge and via git tag.
JanBessai/scala
The Scala programming language
JanBessai/scala-rc
Old Project implementing the Lambda Record Calculus
JanBessai/scala-workshop
JanBessai/scalac-scoverage-plugin
Scoverage Scala Code Coverage Core Libs
JanBessai/SequentCalculusSubtyping
JanBessai/shapeless
Generic programming for Scala
JanBessai/tcscheme
JanBessai/types17
Fixpoint Families
JanBessai/vagrant
Vagrant is a tool for building and distributing development environments.
JanBessai/webjars-bootstrap-load-test
An integration test for webjars-bootstrap