Stars
🐝 The First Graph Agentic Framework with RL and Prompt Optimization
</> htmx - high power tools for HTML
DSPy: The framework for programming—not prompting—language models
Easily use and train state of the art late-interaction retrieval methods (ColBERT) in any RAG pipeline. Designed for modularity and ease-of-use, backed by research.
ColBERT: state-of-the-art neural search (SIGIR'20, TACL'21, NeurIPS'21, NAACL'22, CIKM'22, ACL'23, EMNLP'23)
Universal LLM Deployment Engine with ML Compilation
An open-source ML pipeline development platform
The kitchen sink of Python utility libraries for doing "stuff" in a functional way. Based on the Lo-Dash Javascript library.
The Open Source ECOA Toolset (OSETS) allows developers to produce experimental system software which conforms to version 5 of the European Component Oriented Architecture (ECOA) standard.
C++/Python-based 3D geospatial application for simulating and visualizing dynamic objects in planetary environments
Header only dependencies for Skybolt
End to end declarative web programming with no JS using htmx and SWI-Prolog
PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).
Meta-Sim: Learning to Generate Synthetic Datasets (ICCV 2019)
This project is a part of CS 5704 (Software Engineering) course. This project uses GumTree to identify changes between the head of a Git repository and the current status of a repository and descri…
TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"
💡Light Bulb is a tool to help you label, train, test and deploy machine learning models without any coding.
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
A new lossy/lossless image format for photos and the internet
parallel graph management and execution in heterogeneous computing
High-level build system for distributed, multi-platform C/C++ projects.
FOAM: Feature-Oriented Active Modeller, Version 2
Python 3 AST unparser with type comments support.