Pinned Repositories
bla
B Lisp Animator
clotri
dojo
evalB
prob2
ProB 2.0
prob2-ui
prob2_tooling_template
probparsers
ProB Parser library
reframe-cytoscape
sablecc-stups
bendisposto's Repositories
bendisposto/dojo
bendisposto/prob2_tooling_template
bendisposto/sablecc-stups
bendisposto/node-html-parser
A very fast HTML parser, generating a simplified DOM, with basic element query support.
bendisposto/prob2-plugin
ProB 2.0 Eclipse / Rodin Plug-in
bendisposto/abschlussprojekt-zikade3301
abschlussprojekt-zikade3301 created by GitHub Classroom
bendisposto/booksquisher-docker
Booksquisher Dockerfile. See https://www.booksquisher.com
bendisposto/build-your-own-x
Master programming by recreating your favorite technologies from scratch.
bendisposto/checkstyle
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
bendisposto/datomic-docker
bendisposto/ddd-with-spring
Code examples for my conference talk on implementing ddd with spring
bendisposto/excalidraw
Virtual whiteboard for sketching hand-drawn like diagrams
bendisposto/JavaLand-CA
JavaLand-Konferenz
bendisposto/log4shell
Operational information regarding the vulnerability in the Log4j logging library.
bendisposto/log4shell-ldap
A tool for checking log4shell vulnerability mitigations
bendisposto/Logout4Shell
Use Log4Shell vulnerability to vaccinate a victim server against Log4Shell
bendisposto/logseq
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap
bendisposto/ltl-pattern-parser
bendisposto/marshalsec
bendisposto/mob
Tool for swift git handover.
bendisposto/ROCA
Resource Oriented Client Architecture
bendisposto/spring-boot
Spring Boot
bendisposto/tactical-ddd-workshop
Sample code for my Tactical DDD with Java workshop
bendisposto/talk-ddd-jdbc
Domain Driven Design mit Relationalen Datenbanken und Spring Data JDBC.
bendisposto/testcontainers-demo
bendisposto/testcontainers-git
This project contains a Testcontainers implementation for a plain git server based on the Docker image rockstorm/git-server
bendisposto/trivia
Legacy Code Retreat - Trivia Game codebase
bendisposto/tryjshell
Try JShell on Web
bendisposto/unmaintainable-code
A more maintainable, easier to share version of the infamous http://mindprod.com/jgloss/unmain.html
bendisposto/virtual-kata-lib