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
• erfanMhi / Persian-Digits-Recognizer
  A well documented Jupyter notebook for learning how you could recognize Persian digits using CNNs.
  ☆11Updated 6 years ago
• hooshvare / pn-summary
  A well-structured summarization dataset for the Persian language!
  ☆50Updated last year
• 1995parham-teaching / ie-lecture
  Internet Engineering Course Lecture and Page 🙈 🎈
  ☆44Updated 3 weeks ago
• m3hrdadfi / albert-persian
  ALBERT: A Lite BERT for Self-supervised Learning of Language Representations for the Persian Language
  ☆54Updated 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
• avestura / NetworkLab
  🌐 Guides on network projects and configs emulated in GNS3, including OSPF, EIGRP, BGP, and IPSec
  ☆13Updated 4 years ago
• dml-qom / FarsTail
  FarsTail: a Persian natural language inference dataset
  ☆80Updated last year
• sajjjadayobi / CLIPfa
  CLIPfa: Connecting Farsi Text and Images
  ☆83Updated 2 years ago
• 1995parham / ELBoT
  Yet Another Telegram Bot Library
  ☆11Updated 7 years ago
• elahe-dastan / Fallgoosh
  Sentimental Analysis 👂
  ☆15Updated 4 years ago
• Bahador-Bakhshi / 5G-Federation
  ☆15Updated 3 years ago
• erfanMhi / cs224n_Assignments
  Stanford University cs224n Assignments solutions
  ☆9Updated 6 years ago
• amirabbasasadi / RockyML
  ⛰️ RockyML - A High-Performance Scientific Computing Framework for Non-smooth Machine Learning Problems
  ☆19Updated 2 years ago
• Joshuaclymer / GameBench
  ☆18Updated 11 months ago
• Erfaniaa / commit-type-detection
  Classify Git commits with deep learning
  ☆18Updated last year
• hooshvare / parsgpt
  Persian GPT2
  ☆38Updated 4 years ago
• language-ml / parsi.io
  ☆26Updated 11 months ago
• sarehsoltani / BSc-Thesis
  My BSc Thesis: Design and Implementation of a Real-Time Object Tracking system
  ☆11Updated 4 years ago
• aut-ce / .github
  How we can contribute in @aut-ce
  ☆17Updated 3 months ago
• hejazizo / image_to_wordcloud
  ☆9Updated 3 years ago
• avestura / AttackDragon
  🧪 My tiny project for Software Testing
  ☆19Updated 6 years ago
• HamedHematian / PCoQA
  PCoQA: Persian Conversational Question Answering Dataset
  ☆20Updated 9 months ago
• mmderakhshani / LinearAlgebraPamphlet
  Linear Algebra Hand Notes
  ☆21Updated 4 years ago
• SBU-CE / AP-Students
  This repository is for the students of advanced programming course in Spring 2021.
  ☆30Updated last year
• 1995parham-learning / Learning
  @elahe-dastan / @1995parham training and testing repository
  ☆57Updated 3 months ago
• kargaranamir / parstdex
  A package that extracts Persian time and date markers by applying regexes -- AACL 2022
  ☆27Updated 2 years ago
• mallahyari / Farsi-datasets
  A collection of Farsi (Persian) datasets
  ☆27Updated 3 years ago
• prp-e / maralgpt
  ☆9Updated last year
• rsharifnasab / create_word_cloud
  create word clouds with wrodcloud-fa for twitter and telegram chat
  ☆26Updated 10 months ago