TypedLambda

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.

dotfiles

My dotfiles, mainly Vim

vault-plugin-secrets-pkcs11

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

AstroNvim_user

My personal user config for AstroNvim

automerge-rs

Rust implementation of automerge

bastille

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

bundlex

Multiplatform app bundler tool for Elixir

cmsis-svd

Aggegration of ARM Cortex-M CMSIS SVDs and related tools

diff-match-patch.rs

diff-match-patch for rust

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.

facil.io

Your high performance web application C framework

fetch-freebsd

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

gcc4mbed

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

heroicons

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

heroicons-ui

homebrew-armeabi

Homebrew tap for ARM EABI toolchain

libumqtt

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

LibXtract

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

litesdcard

Small footprint and configurable SDCard core

live_data

nvim-colorizer.lua

The fastest Neovim colorizer.

openapi-generator

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

paasaa

Natural language detection for Elixir

pg_secret

An ORE extension for postgres

pio-framework-arduino-lpc176x

sekey

Use Touch ID / Secure Enclave for SSH Authentication!

SimpleMarkdownEx

A simple and extendable Markdown to HTML converter for Elixir.

surface

An experimental component based library for Phoenix LiveView

TinySVCmDNS

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

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.