Alternatives and similar repositories for differentiable-proving

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

• Erfaniaa / commit-type-detection
  Classify Git commits with deep learning
  ☆18Updated last year
• 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
• SBU-CE / Deep-Learning
  SBU Deep Learning Course Materials and Codes
  ☆14Updated 2 years ago
• sajjjadayobi / CLIPfa
  CLIPfa: Connecting Farsi Text and Images
  ☆83Updated 2 years ago
• pitmonticone / pitmonticone
  Profile repository of Pietro Monticone.
  ☆11Updated this week
• erfanMhi / Persian-Digits-Recognizer
  A well documented Jupyter notebook for learning how you could recognize Persian digits using CNNs.
  ☆11Updated 6 years ago
• language-ml / parsi.io
  ☆26Updated last year
• MatinTavakoli / Linear-Algebra
  A descriptive & intuitive guide to Linear Algebra!
  ☆85Updated 4 years ago
• prp-e / maralgpt
  ☆9Updated last year
• m3hrdadfi / albert-persian
  ALBERT: A Lite BERT for Self-supervised Learning of Language Representations for the Persian Language
  ☆54Updated 4 years ago
• dml-qom / FarsTail
  FarsTail: a Persian natural language inference dataset
  ☆79Updated last year
• HamedHematian / PCoQA
  PCoQA: Persian Conversational Question Answering Dataset
  ☆20Updated 10 months ago
• sadrasabouri / pyrandwalk
  Python Library for Random Walks
  ☆21Updated last year
• mallahyari / Farsi-datasets
  A collection of Farsi (Persian) datasets
  ☆27Updated 3 years ago
• language-ml / course-nlp-text-exploring
  ☆20Updated 2 years ago
• amirabbasasadi / RockyML
  ⛰️ RockyML - A High-Performance Scientific Computing Framework for Non-smooth Machine Learning Problems
  ☆19Updated 2 years ago
• spcl / CheckEmbed
  Official Implementation of "CheckEmbed: Effective Verification of LLM Solutions to Open-Ended Tasks"
  ☆20Updated last week
• softrebel / pybsky
  Python BlueSky client
  ☆11Updated last year
• mrymsadeghi / Stable_diffusion_with_gui
  A tkinter GUI for Stable Diffusion to test the effect of guidance score
  ☆13Updated 2 years ago
• aaghamohammadi / deep-learning-youtube
  Deep Learning Tutorial
  ☆13Updated 5 months ago
• hejazizo / image_to_wordcloud
  ☆9Updated 3 years ago
• rezamardaniDev / ProducerConsumer-os
  Code for the producer-consumer problem with an unlimited buffer
  ☆10Updated last year
• imsalione / PythonFundamentals-Farsi
  This repository was created using w3schools training methods for my personal practice as well as general use for learning in the JupyterN…
  ☆21Updated 3 weeks ago
• sajjjadayobi / ParsBigBird
  Persian Bert For Long-Range Sequences
  ☆63Updated 3 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
• 1995parham / ELBoT
  Yet Another Telegram Bot Library
  ☆11Updated 7 years ago
• hooshvare / parsgpt
  Persian GPT2
  ☆38Updated 4 years ago
• AliNajafi1998 / ComStream
  In this project, we implemented a topic detection system on Twitter. This system reads tweets from a data stream and assigns them to one …
  ☆26Updated 2 years ago
• Mofid-AI / persian-nlp-benchmark
  A benchmark for evaluation and comparison of various NLP tasks in Persian language.
  ☆76Updated 3 years ago
• harish-kamath / rqae
  Residual Quantization Autoencoder, used for interpreting LLMs
  ☆12Updated 5 months ago