Dao Sy Sang's repositories
AdaptiveCards
A new way for developers to exchange card content in a common and consistent way.
agda-unimath
The agda-unimath library
BFO-2020
A repository for BFO 2020 artifacts specified in ISO 21838-2:2020
botbuilder-community-js
Part of the Bot Builder Community Project. Repository for extensions for the Bot Builder JavaScript SDK, including middleware, dialogs, recognizers and more.
botframework-sdk
Bot Framework provides the most comprehensive experience for building conversation applications.
curate-gpt
LLM-driven curation assist tool (pre-alpha)
dspy
DSPy: The framework for programming—not prompting—foundation models
Idris-dev
A Dependently Typed Functional Programming Language
Idris2
A purely functional programming language with first class types
jena
Apache Jena
llama2.rs
A fast llama2 decoder in pure Rust.
logica
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
mirror-isabelle
Git mirror of https://isabelle.in.tum.de/repos/isabelle
nemo
A fast in-memory rule engine
NeMo-Guardrails
NeMo Guardrails is an open-source toolkit for easily adding programmable guardrails to LLM-based conversational systems.
Open-Assistant
OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.
pyro
Deep universal probabilistic programming with Python and PyTorch
rdflib
RDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.
reasonable
OWL 2 Reasoner built on DataFrog
representation-engineering
Representation Engineering: A Top-Down Approach to AI Transparency
scallop
Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229
sigmakee
Sigma Knowledge Engineering Environment
sumo
Suggested Upper Merged Ontology (SUMO)
tawny-owl
Build OWL Ontologies in a Programmatic Environment
textgraphs
TextGraphs + LLMs + graph ML for entity extraction, linking, ranking, and constructing a lemma graph
vampire
The Vampire Theorem Prover
webprotege
The webprotege code base
xmc.dspy
In-Context Learning for eXtreme Multi-Label Classification (XMC) using only a handful of examples.