-
-
silva Public
Forked from chiral-data/silvaa terminal ui to provide easy management of infra and app
Rust Mozilla Public License 2.0 UpdatedMar 9, 2025 -
rasa Public
Forked from RasaHQ/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
Python Apache License 2.0 UpdatedFeb 23, 2025 -
dex-lang Public
Forked from google-research/dex-langResearch language for array processing in the Haskell/ML family
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 25, 2025 -
large_concept_model Public
Forked from facebookresearch/large_concept_modelLarge Concept Models: Language modeling in a sentence representation space
Python MIT License UpdatedDec 13, 2024 -
clingo Public
Forked from potassco/clingo🤔 A grounder and solver for logic programs.
C++ MIT License UpdatedSep 7, 2024 -
dlprimitives Public
Forked from artyom-beilis/dlprimitivesDeep Learning Primitives and Mini-Framework for OpenCL
C++ MIT License UpdatedAug 16, 2024 -
core.logic Public
Forked from clojure/core.logicA logic programming library for Clojure & ClojureScript
Clojure Eclipse Public License 1.0 UpdatedJul 15, 2024 -
-
instructlab Public
Forked from instructlab/instructlabInstructLab Command-Line Interface. Use this to chat with a model and execute the InstructLab workflow to train a model using custom taxonomy data.
Python Apache License 2.0 UpdatedMay 22, 2024 -
ojd_daps_skills Public
Forked from nestauk/ojd_daps_skillsNesta's Skills Extractor Library
Jupyter Notebook MIT License UpdatedMay 10, 2024 -
next-concept-predictor Public
Forked from evintunador/next-concept-predictora WIP architecture designed to allow transformers to think in a manner without tokens
Jupyter Notebook UpdatedApr 12, 2024 -
pyro Public
Forked from pyro-ppl/pyroDeep universal probabilistic programming with Python and PyTorch
Python Apache License 2.0 UpdatedMar 17, 2024 -
logica Public
Forked from EvgSkv/logicaLogica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
Jupyter Notebook Apache License 2.0 UpdatedMar 7, 2024 -
mirror-isabelle Public
Forked from isabelle-prover/mirror-isabelleGit mirror of https://isabelle.in.tum.de/repos/isabelle
Isabelle Other UpdatedFeb 27, 2024 -
vampire Public
Forked from vprover/vampireThe Vampire Theorem Prover
C++ Other UpdatedFeb 26, 2024 -
scallop Public
Forked from scallop-lang/scallopFramework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229
Rust MIT License UpdatedFeb 23, 2024 -
dspy Public
Forked from stanfordnlp/dspyDSPy: The framework for programming—not prompting—foundation models
Python MIT License UpdatedFeb 16, 2024 -
xmc.dspy Public
Forked from KarelDO/xmc.dspyIn-Context Learning for eXtreme Multi-Label Classification (XMC) using only a handful of examples.
Python MIT License UpdatedFeb 13, 2024 -
BFO-2020 Public
Forked from BFO-ontology/BFO-2020A repository for BFO 2020 artifacts specified in ISO 21838-2:2020
Makefile UpdatedFeb 2, 2024 -
rdflib Public
Forked from RDFLib/rdflibRDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.
Python BSD 3-Clause "New" or "Revised" License UpdatedJan 31, 2024 -
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedJan 31, 2024 -
agda-unimath Public
Forked from UniMath/agda-unimathThe agda-unimath library
Agda MIT License UpdatedJan 23, 2024 -
UniMath Public
Forked from UniMath/UniMathThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
eclair-lang Public
Forked from luc-tielen/eclair-langA minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 22, 2024 -
sumo Public
Forked from ontologyportal/sumoSuggested Upper Merged Ontology (SUMO)
HTML UpdatedJan 20, 2024 -
textgraphs Public
Forked from DerwenAI/textgraphsTextGraphs + LLMs + graph ML for entity extraction, linking, ranking, and constructing a lemma graph
Python MIT License UpdatedJan 2, 2024 -
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedJan 2, 2024 -
-
curate-gpt Public
Forked from monarch-initiative/curategptLLM-driven curation assist tool (pre-alpha)
Jupyter Notebook BSD 3-Clause "New" or "Revised" License UpdatedDec 18, 2023
{{ message }}