Arne Ehrlich (TypedLambda)

TypedLambda

Geek Repo

Location:Germany

Github PK Tool:Github PK Tool

Arne Ehrlich's repositories

AstroNvim_user

My personal user config for AstroNvim

Language:LuaStargazers:0Issues:0Issues:0

embedded-gcov

GCC/gcov code coverage data extraction from the actual embedded system, without requiring a file system, or an operating system, or standard C libraries.

License:Apache-2.0Stargazers:0Issues:0Issues:0

automerge-rs

Rust implementation of automerge

License:MITStargazers:0Issues:0Issues:0

gcc4mbed

Project to allow GCC compilation of code using mbed SDK libraries.

Stargazers:0Issues:0Issues:0

facil.io

Your high performance web application C framework

License:MITStargazers:0Issues:0Issues:0

libumqtt

A Lightweight and fully asynchronous MQTT client C library based on libev

License:MITStargazers:0Issues:0Issues:0

openapi-generator

OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

fetch-freebsd

The fetch utility from FreeBSD Release 12, modified for portability.

License:NOASSERTIONStargazers:0Issues:0Issues:0

bundlex

Multiplatform app bundler tool for Elixir

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

TinySVCmDNS

mDNS fork from https://bitbucket.org/geekman/tinysvcmdns

License:NOASSERTIONStargazers:0Issues:0Issues:0

vault-plugin-auth-u2f

This is a nonofficial plugin for HashiCorp Vault that uses a FIDO U2F enabled device as a way to authenticate a human.

License:MPL-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

vault-plugin-secrets-pkcs11

This is a plugin for HashiCorp Vault that implements storing data objects into HSM devices using PKCS#11

License:MPL-2.0Stargazers:1Issues:0Issues:0

litesdcard

Small footprint and configurable SDCard core

License:NOASSERTIONStargazers:0Issues:0Issues:0

nvim-colorizer.lua

The fastest Neovim colorizer.

License:NOASSERTIONStargazers:0Issues:0Issues:0

SimpleMarkdownEx

A simple and extendable Markdown to HTML converter for Elixir.

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

diff-match-patch.rs

diff-match-patch for rust

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

LibXtract

LibXtract is a simple, portable, lightweight library of audio feature extraction functions.

License:MITStargazers:0Issues:0Issues:0

bastille

Bastille is an open-source system for automating deployment and management of containerized applications on FreeBSD.

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

heroicons

A set of free MIT-licensed high-quality SVG icons for UI development.

License:MITStargazers:0Issues:0Issues:0

surface

An experimental component based library for Phoenix LiveView

License:MITStargazers:0Issues:0Issues:0

sekey

Use Touch ID / Secure Enclave for SSH Authentication!

License:MITStargazers:0Issues:0Issues:0

cmsis-svd

Aggegration of ARM Cortex-M CMSIS SVDs and related tools

License:Apache-2.0Stargazers:0Issues:0Issues:0

pg_secret

An ORE extension for postgres

Stargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

homebrew-armeabi

Homebrew tap for ARM EABI toolchain

License:MITStargazers:0Issues:0Issues:0

eresye

This is a clone of the Sourceforge project repository of the same name. ERESYE means 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:34Issues:0Issues:0

paasaa

Natural language detection for Elixir

License:MITStargazers:0Issues:0Issues:0

dotfiles

My dotfiles, mainly Vim

Language:ShellStargazers:1Issues:0Issues:0