Alternatives and similar repositories for differentiable-proving

Users that are interested in differentiable-proving are comparing it to the libraries listed below

• SBU-CE / Deep-Learning
  SBU Deep Learning Course Materials and Codes
  ☆14Updated 2 years ago
• amirabbasasadi / RockyML
  ⛰️ RockyML - A High-Performance Scientific Computing Framework for Non-smooth Machine Learning Problems
  ☆19Updated 2 years ago
• graphcore / distributed-kge-poplar
  The application is a end-user training and evaluation system for standard knowledge graph embedding models. It was developed to optimise …
  ☆18Updated last month
• Erfaniaa / commit-type-detection
  Classify Git commits with deep learning
  ☆18Updated last year
• erfanMhi / Persian-Digits-Recognizer
  A well documented Jupyter notebook for learning how you could recognize Persian digits using CNNs.
  ☆11Updated 6 years ago
• JoyeBright / DBLab
  Repository for the lectures taught in the course named "Darabase Lab" at the University of Guilan, Department of Computer Engineering.
  ☆6Updated 5 years ago
• avestura / data-structure-app
  All projects of Data Structure course in an integrated GUI application
  ☆13Updated 4 years ago
• mehdisadeghi / mehdix.ir
  My personal RTL website in Persian.
  ☆19Updated last year
• pitmonticone / pitmonticone
  Profile repository of Pietro Monticone.
  ☆11Updated last week
• sajjjadayobi / CLIPfa
  CLIPfa: Connecting Farsi Text and Images
  ☆83Updated 2 years ago
• mallahyari / Farsi-datasets
  A collection of Farsi (Persian) datasets
  ☆27Updated 4 years ago
• tavallaie / devdock
  DevDock is a Python library and CLI tool for managing development containers. It supports Docker images and Docker Compose configurations…
  ☆11Updated last year
• HosseinZaredar / Studies
  Studying Machine Learning
  ☆11Updated 3 years ago
• Nikronic / Coursera-Machine-Learning
  In this repository I implemented all assignments in python for the purpose of learning python
  ☆13Updated 4 years ago
• parsa-abbasi / Sentiment-Analysis
  Sentiment analysis using ML and DL models on Persian texts
  ☆12Updated 2 years ago
• smeznar / HVAE
  An approach for embedding hierarhical structures into a continuous vector space using variational autoencoders.
  ☆28Updated last week
• StanfordVL / sail-blog
  The SAIL blog
  ☆11Updated last week
• swarm-lab / xenobots
  Support material for "A New Cellular Platform for the Development of Synthetic Living Machines"
  ☆10Updated 4 years ago
• ZhengyaoJiang / GTG
  Source code of "Grid-to-Graph: Flexible Spatial Relational Inductive Biases for Reinforcement Learning" (AAMAS 2021).
  ☆28Updated 3 years ago
• 1995parham-teaching / ie-lecture
  Internet Engineering Course Lecture and Page 🙈 🎈
  ☆44Updated 3 weeks ago
• raminmh / ordinary-neural-circuits
  Code repo for paper: ICML 2020 paper Natural lottery ticket winner: RL for ordinary neural circuits
  ☆13Updated 5 years ago
• mHooshdar / AI-Search-Algorithms
  AI classic search algorithms with graph and program implementation
  ☆14Updated 2 years ago
• pesarkhobeee / Downloadchibashi
  Web UI for youtube-dl
  ☆49Updated 5 years ago
• 1995parham / ELBoT
  Yet Another Telegram Bot Library
  ☆11Updated 7 years ago
• IDSIA / neuraldiffeq-fwp
  Official repository for the paper "Neural Differential Equations for Learning to Program Neural Nets Through Continuous Learning Rules" (…
  ☆23Updated last month
• mlcommons / dynabench
  ☆22Updated this week
• huggingface / gaia
  Hugging Face and Pyserini interoperability
  ☆20Updated 2 years ago
• language-ml / parsi.io
  ☆26Updated 2 weeks ago
• mhezarei / netusage
  Process-Level Network Traffic Monitoring Tool.
  ☆14Updated 4 years ago
• Quansight-Labs / numpy_pytorch_interop
  ☆20Updated last year