Alternatives and similar repositories for isingLenzMC

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

• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆72Updated 4 months ago
• nirw4nna / dsc
  Tensor library & inference framework for machine learning
  ☆113Updated last month
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆136Updated 2 months ago
• finite-sample / rmcp
  R MCP Server
  ☆191Updated last week
• Dobiasd / treebomination
  convert a scikit-learn decision tree into a Keras model
  ☆39Updated 2 years ago
• Dicklesworthstone / the_lighthill_debate_on_ai
  A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks
  ☆33Updated last year
• dtkaplan / Lessons-in-statistical-thinking
  Text files for LST book
  ☆28Updated 7 months ago
• ivanbelenky / RL
  R.L. methods and techniques.
  ☆199Updated last year
• KienTTran / ABMGPU
  Agent Based Model on GPU using CUDA 12.2.1 and OpenGL 4.5 (CUDA OpenGL interop) on Windows/Linux
  ☆75Updated 8 months ago
• ClemHeyd / PCR7500
  Craziness.
  ☆29Updated 9 months ago
• Spockuto / LSystems
  Fiddling with Lindenmayer systems
  ☆15Updated 2 years ago
• DiscoGrad / DiscoGrad
  DiscoGrad - automatically differentiate across conditional branches in C++ programs
  ☆209Updated last year
• hugohadfield / kalmangrad
  Automated, smooth, N'th order derivatives of non-uniformly sampled time series data
  ☆228Updated last year
• DebarghaG / proofofthought
  Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
  ☆357Updated last month
• JuliaHealth / BloodFlowTrixi.jl
  This package implements 1D and 2D blood flow models for arterial circulation using Trixi.jl, enabling efficient numerical simulation and …
  ☆42Updated last week
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆121Updated 3 weeks ago
• Dicklesworthstone / grassmann_article
  ☆52Updated last year
• qqq-wisc / qwla
  Quantum computing without the linear algebra
  ☆76Updated 5 months ago
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Updated last year
• joelburget / microjax
  A tiny autograd engine with a Jax-like API
  ☆74Updated 4 months ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated 2 months ago
• eschluntz / PytorchBridge
  Designing bridge trusses with Pytorch autograd
  ☆61Updated last year
• ALD-Lab / SURD
  ☆299Updated 7 months ago
• mxmlnkn / fft-image-experiments
  Experiments with applying Fourier transofrms to various plane-filling curves and patterns
  ☆66Updated 2 years ago
• rougier / braincraft
  Braincraft challenge — 1000 neurons, 100 seconds, 10 runs, 2 choices, no reward
  ☆156Updated 2 months ago
• Al-th / grpo_experiment
  Experiment on reimplementation of GRPO RL
  ☆15Updated 9 months ago
• gvelesandro / constructor-theory-simulator
  ☆68Updated last month
• Dicklesworthstone / hoeffdings_d_explainer
  A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D
  ☆100Updated last year
• jverzani / CalculusWithJuliaNotes.jl
  Notes for using Julia while learning calculus
  ☆164Updated 3 months ago
• aml4td / website
  Website sources for Applied Machine Learning for Tabular Data
  ☆152Updated last week