Alternatives and similar repositories for NumericalMethods

Users that are interested in NumericalMethods are comparing it to the libraries listed below

• WeaveAche / moodle-h5p-solver
  ☆12Updated 3 years ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆88Updated 3 years ago
• ChinmayMittal / IITD-CSE
  The go to place for your departmental needs
  ☆166Updated last week
• fromtimeimportsleep / Sem4
  Fill this form if you want to be added as a collaborator: https://forms.gle/izyH27vehCq7jom48
  ☆18Updated last year
• devclub-iitd / SDE-Prep
  Resources for preparing for SDE interviews and tests for internship/placements
  ☆89Updated 11 months ago
• mihirm21 / mth_iitk
  IIT Kanpur - MTH course resources
  ☆12Updated 6 months ago
• Proelectro / summer-of-code-2023
  4-week long session across 4 tracks App, Backend, Frontend and Machine Learning.
  ☆26Updated last year
• GeomScale / gsoc24
  GeomScale in Google Summer of Code 2024
  ☆12Updated last year
• Intelligent-CAT-Lab / AlphaTrans
  Artifact repository for the paper "AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validati…
  ☆23Updated 3 weeks ago
• NingWang1729 / Introduction-to-Software-Construction
  ☆34Updated 2 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆380Updated this week
• Harvard-CS-1200 / cs1200
  Public repository for CS 1200 (Intro to Algorithms and their Limitations)
  ☆36Updated 4 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆78Updated this week
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆456Updated this week
• YaliWang2019 / AK-Satellite-Imagery-Wildfire-Prediction
  ☆8Updated 3 months ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆255Updated 6 months ago
• anirudhakulkarni / Placements-2024
  ☆272Updated 11 months ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆359Updated this week
• fromtimeimportsleep / Sem3
  Just a sample on how we could have it setup
  ☆8Updated last year
• fabriceleal / Software-Foundations-Solutions
  ☆11Updated 9 years ago
• atom-sw / fauxpy
  An automated fault localization tool for Python programs.
  ☆25Updated last month
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆201Updated 2 weeks ago
• caterinaurban / Libra
  ☆25Updated 3 years ago
• RoundtableML / ML-Fundamentals-Reading-Lists
  ☆126Updated last year
• qqq-wisc / wisq
  ☆20Updated this week
• ShivamBarke / International-Internship-opportunities
  International Internships/Fellowships for Undergraduate students
  ☆10Updated last year
• verivital / nnv
  Neural Network Verification Software Tool
  ☆126Updated last week
• lrnzgiusti / awesome-topological-deep-learning
  A curated list of topological deep learning (TDL) resources and links.
  ☆249Updated 3 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆254Updated 5 months ago
• wslee / duet
  ☆20Updated last month