TypedLambda/flow
Flow Control: a programmer's text editor
Repositories
TypedLambda/erlang-sqlite3
Sqlite gen_server port for Erlang. Creates, reads and writes to sqlite database.
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.
TypedLambda/TiddlyWiki5
A reboot of TiddlyWiki for the next 25 years
TypedLambda/AstroNvim_user
My personal user config for AstroNvim
TypedLambda/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.
TypedLambda/zlog
A reliable, high-performance, thread safe, flexsible, clear-model, pure C logging library.
TypedLambda/automerge-rs
Rust implementation of automerge
TypedLambda/LibXtract
LibXtract is a simple, portable, lightweight library of audio feature extraction functions.
TypedLambda/gcc4mbed
Project to allow GCC compilation of code using mbed SDK libraries.
TypedLambda/order-pp
TypedLambda/libumqtt
A Lightweight and fully asynchronous MQTT client C library based on libev
TypedLambda/facil.io
Your high performance web application C framework
TypedLambda/TinySVCmDNS
mDNS fork from https://bitbucket.org/geekman/tinysvcmdns
TypedLambda/openapi-generator
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
TypedLambda/fetch-freebsd
The fetch utility from FreeBSD Release 12, modified for portability.
TypedLambda/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.
TypedLambda/vault-plugin-secrets-pkcs11
This is a plugin for HashiCorp Vault that implements storing data objects into HSM devices using PKCS#11
TypedLambda/surface
An experimental component based library for Phoenix LiveView
TypedLambda/nvim-colorizer.lua
The fastest Neovim colorizer.
TypedLambda/gmake-proxy
A BSD make (bmake) proxy that invokes GNU make (gmake) instead
TypedLambda/bundlex
Multiplatform app bundler tool for Elixir
TypedLambda/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.
TypedLambda/live_data
TypedLambda/litesdcard
Small footprint and configurable SDCard core
TypedLambda/ft260
FTDI FT260 I2C/uart driver for Linux
TypedLambda/pg_secret
An ORE extension for postgres
TypedLambda/libcsptr
Smart pointers for the (GNU) C programming language
TypedLambda/heroicons
A set of free MIT-licensed high-quality SVG icons for UI development.
TypedLambda/SimpleMarkdownEx
A simple and extendable Markdown to HTML converter for Elixir.