☆18Sep 17, 2026Updated this week
Alternatives and similar repositories for das
Users that are interested in das are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Efficient MeTTa language implementation in Prolog.☆31Aug 25, 2026Updated 3 weeks ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆46Dec 10, 2025Updated 9 months ago
- Low-code/No-code development platform☆12Dec 26, 2023Updated 2 years ago
- ☆42Aug 6, 2026Updated last month
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆36Dec 9, 2025Updated 9 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Self-Taught Optimizer (STOP): Recursively Self-Improving Code Generation☆53Jan 1, 2024Updated 2 years ago
- The Postman Insights Agent makes it easy for you to see the behavior of your production APIs. Use the agent to discover API endpoints and…☆16Updated this week
- ☆13Feb 9, 2022Updated 4 years ago
- Deploy NVIDIA'S GPU Accelerated AI models as API using Langserve☆12Mar 24, 2024Updated 2 years ago
- ☆19Dec 31, 2025Updated 8 months ago
- ICLR Reproducibility Challenge: Generative Adversarial Models For Learning Private And Fair Representations☆12Jan 12, 2019Updated 7 years ago
- The PyTorch Library for LLM Applications.☆16Jul 16, 2024Updated 2 years ago
- A central dashboard where teams share files and AI agents connect via skills to pull, push, and collaborate.☆19Feb 16, 2026Updated 7 months ago
- Deriving steepest descent convergence bounds and hyperparameter scaling laws in machine learning optimization from first principles, form…☆17Apr 11, 2026Updated 5 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Implementation of Wasserstein Generative Adversarial Networks using Tensorflow☆14Jul 25, 2018Updated 8 years ago
- NeurIPS 2020☆17Jun 18, 2021Updated 5 years ago
- Collect and archive the metaheuristic algorithms and their applications in geophysics.☆15Oct 25, 2019Updated 6 years ago
- Staged programming for Rust. Write type-safe proc macros and high-level APIs that generate efficient code.☆18Updated this week
- 🤖 AI GitHub App that automatically reviews PRs, triages issues, and monitors repository health using LLMs.☆24Updated this week
- A smart web crawler built in Rust that uses Claude AI to select the most relevant URLs from website sitemaps based on crawling objectives…☆20Jul 9, 2025Updated last year
- Code, Resources - Personal project - Llama Paper Summary - October 14, 2024.☆11Oct 15, 2024Updated last year
- ☆15Apr 10, 2023Updated 3 years ago
- [ICLR 2024] Tree-Planner: Efficient Close-loop Task Planning with Large Language Models☆20Mar 19, 2026Updated 6 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- pyref.dev is a fast, convenient way to access Python reference docs☆16Sep 9, 2026Updated last week
- Postes, Télégraphes et Téléphones☆27Apr 13, 2026Updated 5 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆46May 7, 2025Updated last year
- Mizar Mathematical Library☆17Mar 17, 2012Updated 14 years ago
- Break a PDF into chapters with metadata. Creates a folder with the chapters properly labeled. Do the Truffle Shuffle!☆19Jul 29, 2025Updated last year
- MirrorDataGenerator is a python tool that generates synthetic data based on user-specified causal relations among features in the data. I…☆25Jun 22, 2022Updated 4 years ago
- This repository contains recent research on uncertainty estimation. Inspired from other 'awesome' github pages like awesome-deep-learnin…☆18Sep 16, 2020Updated 6 years ago
- A curated list of Hypergraph Learning, Hypergraph Theory, Hypergraph Dataset and Hypergraph Tool.☆337Feb 3, 2025Updated last year
- Browser support for Lean using a monaco editor.☆17Aug 21, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Published as a journal paper at DAMI 2023☆19Feb 11, 2025Updated last year
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆22Dec 16, 2025Updated 9 months ago
- An open source community implementation of the model MELLE from the paper: "Autoregressive Speech Synthesis without Vector Quantization"☆16Updated this week
- Service Daemon exposes an AI application as an API that is accessible through the SingularityNET Network. It handles all interaction with…☆53Updated this week
- Python Essentials for AWS Cloud Developers, published by Packt.☆12Apr 27, 2023Updated 3 years ago
- ☆25Nov 7, 2024Updated last year
- ☆11Dec 11, 2019Updated 6 years ago