Web published translation of Grothendieck's essay on kimchi
β17Feb 10, 2024Updated 2 years ago
Alternatives and similar repositories for grothendieck-kimchi
Users that are interested in grothendieck-kimchi are comparing it to the libraries listed below
Sorting:
- π 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
- β10Aug 7, 2024Updated last year
- β10Feb 13, 2025Updated last year
- β11Sep 8, 2025Updated 6 months ago
- β10May 17, 2022Updated 3 years ago
- A multi-shell completion bridge.β14Feb 23, 2026Updated 2 weeks ago
- Incremental fast build engine cum unique navigation UI (with search) for plain-text notes, optimized for private notebooks.β11May 18, 2021Updated 4 years ago
- A minimalistic code editor, inspired by Monaco/VSCode, based on Ace & written in Arturoβ11Jan 9, 2026Updated 2 months ago
- An opinionated way to deploy a Kubernetes cluster on top of an OpenStack cloud.β13Aug 9, 2018Updated 7 years ago
- PyTorch code for DeepTime: Deep Time-Index Meta-Learning for Non-Stationary Time-Series Forecastingβ11Jan 9, 2023Updated 3 years ago
- Create BAN entries for iptables.β12Oct 8, 2019Updated 6 years ago
- β10Mar 10, 2021Updated 5 years ago
- Documentation on how to use NShiftKeyβ12Jun 19, 2023Updated 2 years ago
- cfaqs-koβ14Mar 18, 2021Updated 4 years ago
- Formalization of Statement of Local Langlands Correspondence for Toriβ12Dec 18, 2018Updated 7 years ago
- Python library implementing recommender systems algorithms with http://tensorflow.orgβ12Dec 21, 2018Updated 7 years ago
- SolidJS helpers, components and hooks for PowerSyncβ11Nov 4, 2025Updated 4 months ago
- Container Registry Synchronization made easy and fastβ12Oct 7, 2021Updated 4 years ago
- Upload a document image or PDF, or provide a URL, to convert it into a structured format using SmolDocling.β16Mar 31, 2025Updated 11 months ago
- stealth client helloβ11Apr 13, 2019Updated 6 years ago
- β10Feb 7, 2021Updated 5 years ago
- minimalistic time tracker with simple pomodoro timerβ12Dec 18, 2024Updated last year
- ꡬκΈμ μ§μ κ·Έλν μλΉμ€ μν€ν μ³λ₯Ό μ§μ ꡬνν΄λ³΄λ κ²μ λͺ©νλ‘ νλ€.β10Jan 10, 2019Updated 7 years ago
- Unity ML-Agents Environment for Active Object Tracking with Reinforcement Learningβ12Nov 6, 2020Updated 5 years ago
- Distributed Deep Learning Benchmark Suiteβ11Oct 31, 2022Updated 3 years ago
- (T-ASE 2024) LeTO: Learning Constrained Visuomotor Policy with Differentiable Trajectory Optimizationβ14Oct 14, 2024Updated last year
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)β15Feb 18, 2026Updated 2 weeks ago
- μ νλΈμμ μ§νν ν¬λ‘€λ§&μ 무μλν μ½λ νμΌ λͺ¨μμ§μ λλ€.β13Aug 15, 2025Updated 6 months ago
- Deeplearning4j Examples (DL4J, DL4J Spark, DataVec)β10Aug 16, 2018Updated 7 years ago
- Fuzzy match at native speedβ14Sep 25, 2022Updated 3 years ago
- Emulate old 1st party cookies set for source/medium/campaign/term/content by Classic Analytics (ga.js).β19Nov 14, 2024Updated last year
- Want to play with itβ12Jul 22, 2019Updated 6 years ago
- Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.β12Jul 3, 2016Updated 9 years ago
- A simple logger that lets you log from both the frontend and the backendβ12Mar 1, 2026Updated last week
- Code for "Probabilistic forecasting of cross-sectional returns: A Bayesian dynamic factor model with heteroskedasticity"β13Jul 6, 2024Updated last year
- Implementing the supervised learning policy networks of AlphaGoβ12Jan 16, 2018Updated 8 years ago
- A TUI podcast player and organizerβ11Sep 2, 2022Updated 3 years ago
- Little developer/power tools.β18Apr 25, 2024Updated last year
- A troll app to check if an object seen by your camera is a lion. Uses iOS CoreML, Vision APIsβ11Aug 11, 2017Updated 8 years ago