The math library of Lean 4

Neo4j graph construction from unstructured data using LLMs

🧠 Cognitive Load is what matters

DNFS - When you absolutely, positively need to misuse DNS, because FTP was just too practical.

Luno OpenAPI generated python asyncio client

Libation: Liberate your Library

An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"

Talao / Altme wallet : Open source Self Sovereign Identity wallet. Multi ecosystem support : EBSI conformant. ARF EUDI wallet implementation, DIIP and more.

Coloured Petri Net

a market place builder

Create LLM agents with long-term memory and custom tools 📚🦙

A WhatsApp client library for NodeJS that connects through the WhatsApp Web browser app

Identus Cloud Agent

A Steam library categorizing tool.

💬 Open source machine learning framework to automate text- and voice-based conversations: NLU, dialogue management, connect to Slack, Facebook, and more - Create chatbots and voice assistants

Building applications with LLMs through composability, in Kotlin, Scala, ...

A feature-rich command-line audio/video downloader

Focus on prompting and generating

ALL IN ONE Hacking Tool For Hackers

An extremely fast Python linter and code formatter, written in Rust.

Supporting code for the tutorials on https://www.baeldung.com/scala

Hyperledger Aries Cloud Agent Python (ACA-Py) is a foundation for building decentralized identity applications and services running in non-mobile environments.

Decentralized data storage and message relay for decentralized identity and apps.

Decentralized Web Node (DWN) Reference implementation

🦜🔗 Build context-aware reasoning applications

A Scala & Scala.js implementation of DID and DID Comm messaging spec

A repository for leveraging Self-Sovereign Identity in applications

GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.