Repository Index

Astrid is a portable, capability-secure operating system for composable software.

• agent-runtime
• ai-agents
• capability-security
• llm

The Universal Device Detection library will parse any User Agent and detect the browser, operating system, device used (desktop, tablet, mobile, tv, cars, console, etc.), brand and model.

• c-sharp
• dotnet
• detection-library
• user-agent

A programming language for generating code for multiple platforms

R package which integrating R and Julia

A foundational framework for modular cryptographic proofs in Coq

• cryptography
• coq-library
• coq-formalization
• state-separating-proofs

A command line tool and library for generating FFI wrappers for Common Lisp

• ffi
• common-lisp
• cffi
• clang

A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.

• cross-platform
• dialog
• file
• filesystem

This is a library for generating a Common-Lisp foreign function interface (FFI) from GObject Introspection XML files (GIR files).

• gobject-introspection
• code-generation