Pinned Repositories
amqp_one
An attempt of implementing AMQP 1.0 in Elixir
baumeister
A build management system, written in Elixir
camp-chef-repo
Chef Repository for Camp 2012
camp-cookbooks-database
counter
A simple counter with various property based testing approaches
coverex
Coverage Reports for Elixir
mqttex
MQTT implementation in Elixir
nerves_bluetooth
Enabling bluetooth on nerves (user land)
propcheck
Property based Testing for Elixir (based upon PropEr)
reaxive
Reactive Extensions for Elixir
alfert's Repositories
alfert/propcheck
Property based Testing for Elixir (based upon PropEr)
alfert/reaxive
Reactive Extensions for Elixir
alfert/coverex
Coverage Reports for Elixir
alfert/nerves_bluetooth
Enabling bluetooth on nerves (user land)
alfert/baumeister
A build management system, written in Elixir
alfert/counter
A simple counter with various property based testing approaches
alfert/amqp_one
An attempt of implementing AMQP 1.0 in Elixir
alfert/dash
A dash board with Elixir / Phoenix and Elm
alfert/devicex
Device simulation in Elixir
alfert/elixir-git-cli
A simple interface to Git CLI for Elixir
alfert/nerves-examples
A couple small examples to demonstrate using Nerves
alfert/nerves_system_rpi
Base Nerves system configuration for the Raspberry Pi A+, B+, and Zero
alfert/ecto_mnesia
Ecto adapter for Mnesia Erlang term database.
alfert/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.
alfert/ex_doc
ExDoc produces HTML and online documentation for Elixir projects
alfert/fgu-solution
Some fun stuff in F#
alfert/gopter
GOlang Property TestER
alfert/iotaex
An Elixir library to interact with a IOTA node
alfert/led_nerves
Fun with Nerves, a Raspberry Pi Model B, LEDs and Wifi
alfert/nerves
Craft and deploy bulletproof embedded software in Elixir
alfert/nerves_networking
Ethernet management for Nerves
alfert/nerves_system_rpi0
Base Nerves system configuration for the Raspberry Pi Zero and Zero W
alfert/nerves_system_rpi2
Base Nerves system configuration for the Raspberry Pi 2
alfert/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")
alfert/stream_data
Data generation and property testing for Elixir
alfert/stream_state
Symbolic stateful property based testing as an addition to Elixir's stream_data
alfert/tycho-eclipse-plugin-archetype
Maven archetype to build tycho-based eclipse plugins
alfert/type_class
(Semi-)principled type classes for Elixir
alfert/vapor
Runtime configuration system for Elixir
alfert/VSLilyPond
LilyPond syntax highlighting in VSCode