armaninspace

haystack

:mag: LLM orchestration framework to build customizable, production-ready LLM applications. Connect components (models, vector DBs, file converters) to pipelines or agents that can interact with your data. With advanced retrieval methods, it's best suited for building RAG, question answering, semantic search or conversational agent chatbots.

h2o-3

H2O is an Open Source, Distributed, Fast & Scalable Machine Learning Platform: Deep Learning, Gradient Boosting (GBM) & XGBoost, Random Forest, Generalized Linear Modeling (GLM with Elastic Net), K-Means, PCA, Generalized Additive Models (GAM), RuleFit, Support Vector Machine (SVM), Stacked Ensembles, Automatic Machine Learning (AutoML), etc.

flyte

Scalable and flexible workflow orchestration platform that seamlessly unifies data, ML and analytics stacks.

coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

PyRes

Pedagogical first-order prover in Python

eprover

awesome-deeplogic

A collection of papers of neural-symbolic AI (mainly focus on NLP applications)

ratuil

Responsive Terminal UI

textual

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

blessed

Blessed is an easy, practical library for making python terminal apps

py_cui

A python library for intuitively creating CUI/TUI interfaces with widgets, inspired by gocui.

python-prompt-toolkit

Library for building powerful interactive command line applications in Python

rich

Rich is a Python library for rich text and beautiful formatting in the terminal.

npyscreen

Automatically exported from code.google.com/p/npyscreen

doorstop

Requirements management using version control.

helpful

A better Emacs *help* buffer

emacs-from-scratch

An example of a fully custom Emacs configuration developed live on YouTube!

k8ssandra

K8ssandra is an open-source distribution of Apache Cassandra for Kubernetes including API services and operational tooling.

rqlite

The lightweight, distributed relational database built on SQLite.

dqlite

Embeddable, replicated and fault-tolerant SQL engine.

orientdb

OrientDB is the most versatile DBMS supporting Graph, Document, Reactive, Full-Text and Geospatial models in one Multi-Model product. OrientDB can run distributed (Multi-Master), supports SQL, ACID Transactions, Full-Text indexing and Reactive Queries.

virtuoso-opensource

Virtuoso is a high-performance and scalable Multi-Model RDBMS, Data Integration Middleware, Linked Data Deployment, and HTTP Application Server Platform

choerodon

Open Source Multi-Cloud Integrated Platform

crossplane

The Cloud Native Control Plane

multicloud

The serverless @multicloud library provides an easy way to write your serverless handlers 1 time and deploy them to multiple cloud providers include Azure & AWS.

pddl-instances

🌍 PDDL instances covering the International Planning Competitions

pddl4j

PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated Planning based on PDDL language (Planning Domain Description Language).

pddlstream

PDDLStream: Integrating Symbolic Planners and Blackbox Samplers

mark

Sync your markdown files with Confluence pages.

docToolchain

a AsciiDoc Toolchain for technical Software Documentation, focused on Software Architecture Documentation