Alternatives and similar repositories for mnist_handwritten_json

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

• EuroProofNet / europroofnet.github.io

  View on GitHub
  Sources of the EuroProofNet web site.
  ☆13Feb 2, 2026Updated last week
• 01mf02 / cop-rs

  View on GitHub
  Connection provers in Rust
  ☆13Mar 13, 2024Updated last year
• haskell-rewriting / term-rewriting

  View on GitHub
  Yet another haskell term rewriting library
  ☆18Aug 27, 2025Updated 5 months ago
• htm-community / influx.htm

  View on GitHub
  A data interface for InfluxDB that makes it easier to use with HTM systems.
  ☆10Mar 14, 2016Updated 9 years ago
• shashankprasanna / kubernetes-sagemaker-demos

  View on GitHub
  Examples for using Amazon SageMaker Operators for Kubernetes
  ☆12Mar 4, 2020Updated 5 years ago
• SoftwareFoundationGroupAtKyotoU / SystemFg

  View on GitHub
  Implementation of Polymorphic Gradual Typing
  ☆12Sep 16, 2018Updated 7 years ago
• pkshashank / GFLeanTransfer

  View on GitHub
  ☆12Mar 27, 2024Updated last year
• fzyzcjy / ai_math_paper_list

  View on GitHub
  AI for Mathematics Paper List
  ☆17Jan 14, 2025Updated last year
• sofianhamiti / amazon-sagemaker-pipelines-serverless-inference

  View on GitHub
  Deploying a serverless inference service with Amazon SageMaker Pipelines, AWS Lambda, Amazon API Gateway, and CDK
  ☆13Apr 12, 2021Updated 4 years ago
• valohai / valohai-cli

  View on GitHub
  Command line client for Valohai
  ☆17Jan 22, 2026Updated 3 weeks ago
• chemistorge / Arduino-Motorised-Filter-Wheel-Xagyl-compatible-ASCOM-and-INDI-

  View on GitHub
  A 3d printable motorised filter wheel. The wheel is motorised with a 28BYJ-48 stepper with control provided by an Arduino Uno. The firmwa…
  ☆16Jan 25, 2026Updated 2 weeks ago
• andrewcropper / mlj18-metaopt

  View on GitHub
  A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.
  ☆14Apr 14, 2018Updated 7 years ago
• junehappylove / june.music.mm

  View on GitHub
  沫沫音乐播放器，仿千千静听得一款音乐播放器--致我最爱得人
  ☆13Sep 11, 2018Updated 7 years ago
• env0 / terratag-action

  View on GitHub
  A GitHub Action for Terratag - https://github.com/env0/terratag
  ☆15Jul 19, 2023Updated 2 years ago
• andrewcropper / iggp

  View on GitHub
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Feb 19, 2023Updated 2 years ago
• dayekuaipao / ierg6130-assignment

  View on GitHub
  Assignments for course IERG 6130: Reinforcement Learning and Beyond
  ☆12Mar 9, 2021Updated 4 years ago
• VeriGu / DistAI

  View on GitHub
  DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
  ☆17Jan 1, 2022Updated 4 years ago
• u-fire / uFire_SHT20

  View on GitHub
  An Arduino library to use the SHT20 Sensiron temperature and humidity sensor.
  ☆14Mar 18, 2024Updated last year
• LLM4Rocq / nlir

  View on GitHub
  Automatic theorem proving via natural language reasoning with LLMs
  ☆21May 16, 2025Updated 8 months ago
• MichaelRawson / tptp

  View on GitHub
  Crate for reading TPTP files.
  ☆15May 11, 2022Updated 3 years ago
• ypwang61 / StoryEval

  View on GitHub
  [CVPR2025] Is Your World Simulator a Good Story Presenter? A Consecutive Events-Based Benchmark for Future Long Video Generation
  ☆18May 2, 2025Updated 9 months ago
• zaxtax / ocaml-clustering

  View on GitHub
  Collection of clustering algorithms written in Ocaml
  ☆19Aug 13, 2008Updated 17 years ago
• aws-samples / amazon-sagemaker-BYOD-template

  View on GitHub
  A project template for developing BYOD docker images for use in Amazon SageMaker.
  ☆19Jan 15, 2020Updated 6 years ago
• Teng-Qiu-Clustering / Fast-LDP-MST-Clustering-IEEE-TKDE-2022

  View on GitHub
  Fast LDP-MST: an efficient density-based clustering method for large-size datasets (Teng Qiu, Yongjie Li, IEEE Transactions on Knowledge …
  ☆15May 1, 2025Updated 9 months ago
• Miracle-Messi / Isa-AutoFormal

  View on GitHub
  ☆16Oct 27, 2024Updated last year
• trishullab / itp-interface

  View on GitHub
  Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…
  ☆18Jan 16, 2026Updated 3 weeks ago
• igarnier / clustering

  View on GitHub
  An OCaml clustering library
  ☆20Apr 26, 2021Updated 4 years ago
• Cardinal-Operations / SIRL

  View on GitHub
  RLVR for LLMs in optimization modeling
  ☆43Dec 17, 2025Updated last month
• martwz / leetcode-rust

  View on GitHub
  Solutions to LeetCode written in 🦀 Rust.
  ☆27Nov 20, 2021Updated 4 years ago
• valohai / tensorflow-example

  View on GitHub
  TensorFlow examples for Valohai platform
  ☆20Jan 28, 2026Updated 2 weeks ago
• trishullab / clever

  View on GitHub
  CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning
  ☆37Dec 18, 2025Updated last month
• niccokunzmann / crc8

  View on GitHub
  A module with the CRC8 algorithm for Python 2 and 3
  ☆14Aug 7, 2024Updated last year
• clearml / clearml-server-helm

  View on GitHub
  ClearML Server for Kubernetes Clusters Using Helm
  ☆16Oct 3, 2023Updated 2 years ago
• sunblaze-ucb / verina

  View on GitHub
  Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…
  ☆49Jan 25, 2026Updated 2 weeks ago
• aws-samples / amazon-sagemaker-studio-vpc-networkfirewall

  View on GitHub
  This solution demonstrates the setup and deployment of Amazon SageMaker Studio into a private VPC and implementation of multi-layer secur…
  ☆22Jul 31, 2022Updated 3 years ago
• liatrio / lead-terraform

  View on GitHub
  Terraform modules and scripts to manage LEAD environments
  ☆19Aug 3, 2023Updated 2 years ago
• xqyww123 / Isa-Mini

  View on GitHub
  A minimal language for Isabelle/HOL, designed for easing machine learning.
  ☆25Jan 13, 2026Updated last month
• BartoszPiotrowski / lean-premise-selection

  View on GitHub
  ☆22Jan 14, 2026Updated last month
• powertim / deploy_awx-rpm

  View on GitHub
  Deploy HA cluster for AWX RPM
  ☆20Apr 1, 2020Updated 5 years ago