Skip to content

Instantly share code, notes, and snippets.

View bendisposto's full-sized avatar

Jens Bendisposto bendisposto

View GitHub Profile

ProB

ProB can animate and Model Check (and many more) for B, Event-B, Z, CSP, TLA+

ProB can be used as a library in Java code to solve constraint problems, the library can be found under https://github.com/bendisposto/prob2

http://rheinjug.de/knowledge/vortr-mainmenu-28/264-2060915-apacheroadshow
http://rheinjug.de/knowledge/vortr-mainmenu-28/263-20160609-jdk9
http://rheinjug.de/knowledge/vortr-mainmenu-28/262-20160512-selenium
http://rheinjug.de/knowledge/vortr-mainmenu-28/261-workshop-iot
http://rheinjug.de/knowledge/vortr-mainmenu-28/260-20160309codereviews
http://rheinjug.de/knowledge/vortr-mainmenu-28/259-20160407cleancode
http://rheinjug.de/knowledge/vortr-mainmenu-28/256-ansible20160218
http://rheinjug.de/knowledge/vortr-mainmenu-28/255-rxjava20151119
http://rheinjug.de/knowledge/vortr-mainmenu-28/254-esb20151217
http://rheinjug.de/knowledge/vortr-mainmenu-28/253-archbewertung20150121

Keybase proof

I hereby claim:

  • I am bendisposto on github.
  • I am bendisposto (https://keybase.io/bendisposto) on keybase.
  • I have a public key ASBDCGBy2gbIqYfVytZXUgkeCfAr91Nd4fRVY5FB9E_59go

To claim this, I am signing this object:

(defn smax [& s]
(reduce
(fn [a e] (if (pos? (compare a e)) a e))
""
s))
(def fizzes (cycle ["" "" "fizz"]))
(def buzzes (cycle ["" "" "" "" "buzz"]))
(def nums (map (comp str inc) (range)))
@bendisposto
bendisposto / core.clj
Created March 16, 2017 09:21
REPL Session - Generative Testing, Softwerkskammer Ruhr, 15.3.2017
(ns bsp.core
(:require [clojure.repl :refer :all]
[clojure.spec :as spec]
[clojure.test.check :refer [quick-check]]
[clojure.test.check.generators :as gen]
[clojure.test.check.properties :refer [for-all]]
[clojure.test :refer [is are run-tests deftest]]))
(defn ultrasort [coll] (seq (into (sorted-set) coll)))
<?xml version="1.0" encoding="UTF-8"?>
<exercises>
<exercise name="Hallo Welt!">
<description>Schreiben Sie eine Methode, welche keine Parameter bekommt und beim Aufruf "Hallo Welt!" ausgibt.
Überladen Sie die Methode außerdem, so dass diese einen String Parameter bekommt und diesen statt "Welt" ausgibt ("Hallo {param}!")</description>
<classes>
<class name="HelloWorld">public class HelloWorld {
// Implementieren Sie Ihre Methoden hier
}</class>
</classes>
[
{name: "Roman Numbers Kata",
description: "Konvertieren von arabischen in römische Zahlen. Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua. At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua. At vero eos et accusam et justo duo dolores et ea rebum. \n Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet.",
code:
{name: "RomanNumbers",
code: [
"public class RomanNumbers {",
"",
"}"] },
test:
apply plugin: 'java'
sourceSets.main.java.srcDir('.')
sourceSets.main.output.classesDir('bin')
repositories { mavenCentral(); }
def java(String x) {
def arguments = x.split(" ")
def t = arguments.tail() as List
@bendisposto
bendisposto / gist:c2a839b7219c04880e68
Created February 18, 2015 15:30
vl_5_2_2015 Teil5: Quickcheck + Schemas
(ns comb.core
(:require [clojure.test.check :as tc]
[clojure.test.check.generators :as gen]
[clojure.test.check.properties :as prop]
[clojure.test :as t]
[schema.core :as s]
[schema-gen.core :as sg]))
(comment