Klaus Alfert (alfert)

alfert

Geek Repo

Github PK Tool:Github PK Tool

Klaus Alfert's repositories

propcheck

Property based Testing for Elixir (based upon PropEr)

Language:ElixirLicense:GPL-3.0Stargazers:359Issues:8Issues:76

reaxive

Reactive Extensions for Elixir

Language:ElixirLicense:NOASSERTIONStargazers:281Issues:17Issues:9

coverex

Coverage Reports for Elixir

Language:JavaScriptLicense:NOASSERTIONStargazers:100Issues:5Issues:26

nerves_bluetooth

Enabling bluetooth on nerves (user land)

Language:HTMLLicense:Apache-2.0Stargazers:12Issues:3Issues:1

baumeister

A build management system, written in Elixir

Language:ElixirLicense:Apache-2.0Stargazers:5Issues:3Issues:1

counter

A simple counter with various property based testing approaches

Language:ElixirStargazers:3Issues:3Issues:0

amqp_one

An attempt of implementing AMQP 1.0 in Elixir

Language:HTMLLicense:Apache-2.0Stargazers:2Issues:3Issues:0

dash

A dash board with Elixir / Phoenix and Elm

Language:JavaScriptStargazers:1Issues:4Issues:1

devicex

Device simulation in Elixir

Language:ElixirStargazers:1Issues:3Issues:0

elixir-git-cli

A simple interface to Git CLI for Elixir

Language:ElixirLicense:MITStargazers:1Issues:3Issues:0

nerves-examples

A couple small examples to demonstrate using Nerves

Language:ElixirStargazers:1Issues:3Issues:0

nerves_system_rpi

Base Nerves system configuration for the Raspberry Pi A+, B+, and Zero

Language:ElixirLicense:Apache-2.0Stargazers:1Issues:3Issues:0

ecto_mnesia

Ecto adapter for Mnesia Erlang term database.

Language:ElixirLicense:MITStargazers:0Issues:3Issues:0

elixir

Elixir is a metaprogrammable, functional language built atop the Erlang VM. It is a dynamic language with hygienic macros that leverages Erlang's ability to build concurrent, distributed, and fault-tolerant applications with hot code upgrades.

Language:ElixirLicense:NOASSERTIONStargazers:0Issues:3Issues:0

ex_doc

ExDoc produces HTML and online documentation for Elixir projects

Language:ElixirLicense:NOASSERTIONStargazers:0Issues:3Issues:0

fgu-solution

Some fun stuff in F#

Language:F#Stargazers:0Issues:3Issues:0

gopter

GOlang Property TestER

Language:GoLicense:MITStargazers:0Issues:1Issues:0

iotaex

An Elixir library to interact with a IOTA node

Language:ElixirStargazers:0Issues:2Issues:0

led_nerves

Fun with Nerves, a Raspberry Pi Model B, LEDs and Wifi

Language:ElixirStargazers:0Issues:3Issues:0

nerves

Craft and deploy bulletproof embedded software in Elixir

Language:ElixirLicense:Apache-2.0Stargazers:0Issues:3Issues:0

nerves_networking

Ethernet management for Nerves

Language:ElixirLicense:NOASSERTIONStargazers:0Issues:3Issues:0

nerves_system_rpi0

Base Nerves system configuration for the Raspberry Pi Zero and Zero W

Language:ElixirLicense:Apache-2.0Stargazers:0Issues:3Issues:0

nerves_system_rpi2

Base Nerves system configuration for the Raspberry Pi 2

Language:ElixirLicense:Apache-2.0Stargazers:0Issues:3Issues:0

rapid

Rapid is a Go library for property-based testing that supports state machine ("stateful" or "model-based") testing and fully automatic test case minimization ("shrinking")

Language:GoLicense:MPL-2.0Stargazers:0Issues:1Issues:0

stream_data

Data generation and property testing for Elixir

Language:ElixirStargazers:0Issues:2Issues:0

stream_state

Symbolic stateful property based testing as an addition to Elixir's stream_data

Language:ElixirStargazers:0Issues:2Issues:0

tycho-eclipse-plugin-archetype

Maven archetype to build tycho-based eclipse plugins

Language:JavaStargazers:0Issues:3Issues:0

type_class

(Semi-)principled type classes for Elixir

Language:ElixirLicense:MITStargazers:0Issues:3Issues:0

vapor

Runtime configuration system for Elixir

Language:ElixirLicense:MITStargazers:0Issues:2Issues:0

VSLilyPond

LilyPond syntax highlighting in VSCode

Stargazers:0Issues:1Issues:0