Arne Ehrlich (TypedLambda)

TypedLambda

Geek Repo

Location:Germany

Github PK Tool:Github PK Tool

Arne Ehrlich's repositories

ansible

Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications— automate in a language that approaches plain English, using SSH, with no agents to install on remote systems.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:2Issues:0

ansible-freebsd

ansible-freebsd

Language:ShellStargazers:0Issues:1Issues:0

antidote

A planet scale, highly available, transactional database built on CRDT technology

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:1Issues:0

diskarbitration-rs

Rust bindings to the Disk Arbitration library on Mac OS X

Language:RustStargazers:0Issues:0Issues:0

dump

a very simple database that holds binaries of equal length.

Language:ErlangStargazers:0Issues:0Issues:0

dynamic-colors

Change terminal colors on the fly

Language:ShellLicense:MITStargazers:0Issues:2Issues:0

elixir-school

Lessons about the Elixir programming language

Language:CSSLicense:Apache-2.0Stargazers:0Issues:2Issues:0

elmdb

Erlang NIF driver for LMDB, a fast, compact and transactional key-value data store

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

enm

Erlang driver for nanomsg

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:2Issues:0

erlzmq2

Erlang binding for 0MQ (v2)

Language:CLicense:MITStargazers:0Issues:1Issues:0

freebsd-ports

FreeBSD Ports Tree (Read-Only Mirror)

License:NOASSERTIONStargazers:0Issues:1Issues:0

ft260

FTDI FT260 I2C/uart driver for Linux

Language:CStargazers:0Issues:1Issues:0

gl_helper

A helper module for using wxErlang in Elixir.

Language:ElixirStargazers:0Issues:0Issues:0

gmake-proxy

A BSD make (bmake) proxy that invokes GNU make (gmake) instead

Language:MakefileLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

graphmath

An Elixir library for performing 2D and 3D mathematics.

Language:ElixirLicense:UnlicenseStargazers:0Issues:2Issues:0

Kent-Erlang-Robotic-Library

import of Kent Erlang Robotic Library

Language:ErlangLicense:GPL-2.0Stargazers:0Issues:0Issues:0

kiex

Elixir version manager

Language:ShellLicense:MITStargazers:0Issues:0Issues:0

libaeabi-cortexm0

ARM Run-Time ABI for the Cortex-M0 processor

Language:AssemblyStargazers:0Issues:1Issues:0

libcsptr

Smart pointers for the (GNU) C programming language

Language:CMakeLicense:MITStargazers:0Issues:0Issues:0

MerkleTrie

A merkel tree on the hard drive for a blockchain, written in erlang.

Language:ErlangStargazers:0Issues:0Issues:0

nifpp

C++11 Wrapper for Erlang NIF API

Language:C++Stargazers:0Issues:0Issues:0

ot_ex

OT algorithms for Elixir

Language:ElixirLicense:ISCStargazers:0Issues:0Issues:0

Projekt

Generate DXF, SVG and PLT for laser cutting & engraving from STLs

Language:C++Stargazers:0Issues:0Issues:0

pyserial

Python serial port access library

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

seresye

SERESYE means Swarm oriented ERlang Expert SYstem Engine. It is a library to write expert systems and rule processing engines using the Erlang programming language. It allows to create multiple engines, each one with its own facts and rules to be processed.

Language:ErlangLicense:NOASSERTIONStargazers:0Issues:2Issues:0

SOEM

Simple Open Source EtherCAT Master

Language:CStargazers:0Issues:0Issues:0

src

Public git conversion mirror of OpenBSD's official cvs src repository.

Language:CStargazers:0Issues:2Issues:0

vim-smartinput

Vim plugin: Provide smart input assistant

Language:Vim ScriptStargazers:0Issues:2Issues:0

x11-window-hider

Easily hide and show (unmap and map) X11 windows. libxcb ANSI (C89) compatible C and bash xdotool implementations.

Language:CLicense:MITStargazers:0Issues:0Issues:0

yosys-port

FreeBSD port for Yosys

Language:MakefileStargazers:0Issues:0Issues:0