Alternatives and similar repositories for grothendieck-kimchi

Users that are interested in grothendieck-kimchi are comparing it to the libraries listed below

• Gumball12 / yuki-no

  View on GitHub
  🔄 A GitHub Action that tracks changes between repositories. It creates GitHub issues based on commits from a head repository, making it …
  ☆21Dec 12, 2025Updated 2 months ago
• automorphic-project / automorphic-project

  View on GitHub
  All the math/tex files for the Automorphic Project
  ☆19Updated this week
• swimmio / python_best_practices

  View on GitHub
  ☆10Aug 7, 2024Updated last year
• ttiimm / log2src

  View on GitHub
  making printf work for you
  ☆15Nov 10, 2025Updated 3 months ago
• handraker / new-gwit

  View on GitHub
  ☆11Sep 8, 2025Updated 5 months ago
• FNNDSC / pfcon

  View on GitHub
  ChRIS data and compute CONtroller
  ☆11Dec 4, 2025Updated 2 months ago
• EXPNUNI / enuSpace-Tensorflow

  View on GitHub
  enuSpace plugin for Tensorflow (graphical logic block, flow programming)
  ☆11Feb 6, 2020Updated 6 years ago
• kangtegong / pycon-session-release

  View on GitHub
  Pycon Korea 2020 발표자료
  ☆14Sep 25, 2020Updated 5 years ago
• aboviq / powersync-solid

  View on GitHub
  SolidJS helpers, components and hooks for PowerSync
  ☆10Nov 4, 2025Updated 3 months ago
• mattn / banip

  View on GitHub
  Create BAN entries for iptables.
  ☆12Oct 8, 2019Updated 6 years ago
• cinsk / cfaqs-ko

  View on GitHub
  cfaqs-ko
  ☆14Mar 18, 2021Updated 4 years ago
• yazdanfarreza / DeepTime

  View on GitHub
  PyTorch code for DeepTime: Deep Time-Index Meta-Learning for Non-Stationary Time-Series Forecasting
  ☆11Jan 9, 2023Updated 3 years ago
• dirien / kubernetes-diy-policy-engine

  View on GitHub
  How to build your own policy engine
  ☆14Jul 24, 2022Updated 3 years ago
• moio / booster

  View on GitHub
  Container Registry Synchronization made easy and fast
  ☆12Oct 7, 2021Updated 4 years ago
• fake-root / fake-root.github.io

  View on GitHub
  각종 프로그램이 설치하는 루트 인증 기관(Root CA) 인증서 목록
  ☆12Updated this week
• drkameleon / grace.art

  View on GitHub
  A minimalistic code editor, inspired by Monaco/VSCode, based on Ace & written in Arturo
  ☆11Jan 9, 2026Updated last month
• naver-security / nshiftkey-doc

  View on GitHub
  Documentation on how to use NShiftKey
  ☆12Jun 19, 2023Updated 2 years ago
• kckennylau / local-langlands-abelian

  View on GitHub
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Dec 18, 2018Updated 7 years ago
• 4DA / netupi

  View on GitHub
  minimalistic time tracker with simple pomodoro timer
  ☆12Dec 18, 2024Updated last year
• neoclide / wasm-fuzzy

  View on GitHub
  Fuzzy match at native speed
  ☆14Sep 25, 2022Updated 3 years ago
• crockpotveggies / dl4j-examples

  View on GitHub
  Deeplearning4j Examples (DL4J, DL4J Spark, DataVec)
  ☆10Aug 16, 2018Updated 7 years ago
• FLOWIT28999 / Crawling-Automation

  View on GitHub
  유튜브에서 진행한 크롤링&업무자동화 코드 파일 모음집입니다.
  ☆13Aug 15, 2025Updated 6 months ago
• locktopus-project / locktopus

  View on GitHub
  A service for managing locks in multiprocess/distributed systems
  ☆13Feb 5, 2023Updated 3 years ago
• kncrane / CubeTrack

  View on GitHub
  Unity ML-Agents Environment for Active Object Tracking with Reinforcement Learning
  ☆12Nov 6, 2020Updated 5 years ago
• Crazy0416 / KnowledgeGraph

  View on GitHub
  구글의 지식 그래프 서비스 아키텍쳐를 직접 구현해보는 것을 목표로 한다.
  ☆10Jan 10, 2019Updated 7 years ago
• stock-price-calculator / tradingbot

  View on GitHub
  키움증권 자동매매 프로그램입니다.
  ☆22Sep 30, 2023Updated 2 years ago
• mattn / dev_hid_go_iferr

  View on GitHub
  ☆10Feb 7, 2021Updated 5 years ago
• babelPish / babelphi

  View on GitHub
  바벨파이
  ☆11Feb 23, 2017Updated 8 years ago
• mamhamed / misc

  View on GitHub
  A repo for my miscellaneous codes
  ☆11Dec 21, 2016Updated 9 years ago
• beartype / pytest-beartype

  View on GitHub
  Pytest plugin type-checking tests, fixtures, and/or your codebase with @beartype.
  ☆21Dec 6, 2025Updated 2 months ago
• mingloo / DeepSupervisedHashing

  View on GitHub
  The Deep Supervised Hashing for Image Retrieval on CIFAR10/MNIST/Fashion-MNIST
  ☆12Nov 23, 2017Updated 8 years ago
• instaclustr / kafka-connect-connectors

  View on GitHub
  Open Source Kafka Connect Connector plugin repository built and maintained by Instaclustr
  ☆12Nov 20, 2025Updated 2 months ago
• ZhengtongXu / LeTO

  View on GitHub
  (T-ASE 2024) LeTO: Learning Constrained Visuomotor Policy with Differentiable Trajectory Optimization
  ☆13Oct 14, 2024Updated last year
• sara-nl / DDLBench

  View on GitHub
  Distributed Deep Learning Benchmark Suite
  ☆11Oct 31, 2022Updated 3 years ago
• aca / marp.nvim

  View on GitHub
  Marp plugin for vim.
  ☆12Sep 23, 2020Updated 5 years ago
• MollyZhang / AlphaGoPolicyNet

  View on GitHub
  Implementing the supervised learning policy networks of AlphaGo
  ☆12Jan 16, 2018Updated 8 years ago
• vtalpaert / pytorch-feudal-network

  View on GitHub
  Pytorch implementation of [Feudal Net](https://arxiv.org/abs/1703.01161). ([Tensorflow version](https://github.com/dmakian/feudal_networ…
  ☆17Jun 25, 2019Updated 6 years ago
• google-deepmind / formal-imo

  View on GitHub
  Lean formalizations of IMO problem statements
  ☆30Oct 23, 2025Updated 3 months ago
• hanul93 / kicomav-db

  View on GitHub
  This project is a collection of malware signatures for KicomAV.
  ☆11Jan 23, 2026Updated 3 weeks ago