math1um / objects-invariants-propertiesLinks
Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
☆17Updated 2 years ago
Alternatives and similar repositories for objects-invariants-properties
Users that are interested in objects-invariants-properties are comparing it to the libraries listed below
Sorting:
- silent crypto miner Free Crypto Miner Builder - Supports ETC, RVN, XMR, RTM and much more. miner crypto miner 2024 best miner miner btc m…☆11Updated last year
- Machine Learning module for cloud-based analyses developed as part of the NIGMS Sandbox Project☆17Updated 8 months ago
- a basic peniscoin miner in python☆11Updated 11 years ago
- A simple C library without dependencies that compute SHA256 digest from a file☆12Updated last year
- autotune your code to perfection. using langchain, chatGPT, etc. understands your entire codebases and will magically fix your code☆14Updated 2 years ago
- SGD (stochastic gradient descent) with OGR - online gradient regression Hessian estimator☆16Updated 2 years ago
- A library-based attempt to increase our chances for achieving AI Alignment with an emergent AGI.☆20Updated 2 years ago
- ☆18Updated last year
- Open Accelerated Discovery Toolkit☆13Updated 5 months ago
- Unlock automation and system building with the ChatGPT API. Master chain calls, Python interactions, and create a customer service chatbo…☆19Updated 2 years ago
- This is a medical bot built using Llama2 and Sentence Transformers. The bot is powered by Langchain and Chainlit. The bot runs on a decen…☆345Updated last year
- A cheap psychedelic simulator on Linux. EPILEPSY WARNING!☆14Updated 6 years ago
- The application of multimodal RAG for Sustainable finance☆24Updated last year
- Powerful web application that combines Streamlit, LangChain, and Pinecone to simplify document analysis. Powered by OpenAI's GPT-3, RAG e…☆127Updated last year
- EXPERIMENTAL Secure hidden service webserver☆54Updated 3 years ago
- ☆114Updated last month
- A tool for retrosynthetic planning☆786Updated 2 months ago
- Secure Distributed Web Date; privacy, anonymity and Tor friendly; console time fetcher and daemon; optional graphical user interface etc.…☆66Updated 3 weeks ago
- Simple introduction to LLM Agents☆140Updated last year
- Post-quantum cryptography tool (THIS REPOSITORY IS ONLY A MIRROR OF THE MAIN ONE, PLEASE DO NOT FILE BUGS HERE)☆322Updated 3 years ago
- ☆34Updated 2 years ago
- Example Langchain agent to demonstrate the potential use of Neo4j graph database as memory.☆18Updated 2 years ago
- Elastic GenAI Workshop (Codespaces)☆10Updated last year
- ☆192Updated 5 months ago
- Seamless .onion and tor-ified git remotes☆28Updated 6 years ago
- This code example shows how to make a chatbot for semantic search over documents using Streamlit, LangChain, and various vector databases…☆15Updated 2 years ago
- ⚗ A package useful for chemistry written in Python☆633Updated 4 months ago
- Molecular dynamics simulation software☆134Updated 2 years ago
- An AUR helper (and library) in Python 3.☆73Updated 3 years ago
- GT4SD, an open-source library to accelerate hypothesis generation in the scientific discovery process.☆368Updated 4 months ago