sysang

Pinned Repositories

article-body-recognizer
Html Structural Section Recognizer
Language:HTML1 1 00
atomspace
The OpenCog (hyper-)graph database and graph rewriting system
Language:C++1 0 00
booking-assistant
Language:Python3 1 00
CLIP_prefix_caption
Simple image captioning model
Language:Jupyter Notebook1 0 00
comodity-ner-sent
Language:Jupyter Notebook0 1 00
qanast
Language:Jupyter Notebook0 1 00
rasa-webchat
A feature-rich chat widget for Rasa and Botfront
Language:JavaScript1 0 00

sysang's Repositories

sysang/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq1 0 0
sysang/comodity-ner-sent
Language:Jupyter Notebook0 1 00
sysang/qanast
Language:Jupyter Notebook0 1 00
sysang/agda-unimath
The agda-unimath library
Language:Agda0 0
sysang/BFO-2020
A repository for BFO 2020 artifacts specified in ISO 21838-2:2020
Language:Makefile0 0
sysang/clingo
🤔 A grounder and solver for logic programs.
sysang/core.logic
A logic programming library for Clojure & ClojureScript
Language:Clojure0 0
sysang/curate-gpt
LLM-driven curation assist tool (pre-alpha)
Language:Jupyter Notebook0 0
sysang/dlprimitives
Deep Learning Primitives and Mini-Framework for OpenCL
Language:C++0 0
sysang/dspy
DSPy: The framework for programming—not prompting—foundation models
Language:Python0 0
sysang/Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell0 0
sysang/Idris2
A purely functional programming language with first class types
Language:Idris0 0
sysang/instructlab
InstructLab Command-Line Interface. Use this to chat with a model and execute the InstructLab workflow to train a model using custom taxonomy data.
Language:Python0 0
sysang/jena
Apache Jena
Language:Java0 0
sysang/llama2.rs
A fast llama2 decoder in pure Rust.
sysang/logica
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
Language:Jupyter Notebook0 0
sysang/mirror-isabelle
Git mirror of https://isabelle.in.tum.de/repos/isabelle
Language:Isabelle0 0
sysang/nemo
A fast in-memory rule engine
Language:Rust0 0
sysang/NeMo-Guardrails
NeMo Guardrails is an open-source toolkit for easily adding programmable guardrails to LLM-based conversational systems.
Language:Python0 0
sysang/ojd_daps_skills
Nesta's Skills Extractor Library
Language:Jupyter Notebook0 0
sysang/pyro
Deep universal probabilistic programming with Python and PyTorch
Language:Python0 0
sysang/rasa
💬 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
Language:Python
sysang/rdflib
RDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.
Language:Python0 0
sysang/reasonable
OWL 2 Reasoner built on DataFrog
Language:Rust0 0
sysang/scallop
Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229
Language:Rust0 0
sysang/sigmakee
Sigma Knowledge Engineering Environment
Language:Java0 0
sysang/sumo
Suggested Upper Merged Ontology (SUMO)
Language:HTML0 0
sysang/textgraphs
TextGraphs + LLMs + graph ML for entity extraction, linking, ranking, and constructing a lemma graph
Language:Python0 0
sysang/vampire
The Vampire Theorem Prover
Language:C++0 0
sysang/xmc.dspy
In-Context Learning for eXtreme Multi-Label Classification (XMC) using only a handful of examples.
Language:Python0 0