HoshinoTented/anti-indulged-intellij external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

HoshinoTented/anti-indulged-intellij

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/HoshinoTented/anti-indulged-intellij)

Close

HoshinoTented / anti-indulged-intellijView on GitHubMore

• External links
• Readme badge

Anti-Indulged for IntelliJ Platform (AI4IJ)

☆26Jan 27, 2021Updated 5 years ago

Alternatives and similar repositories for anti-indulged-intellij

Users that are interested in anti-indulged-intellij are comparing it to the libraries listed below

• oi-archive / source

  View on GitHub
  OI-Archive 主数据集
  ☆18Nov 11, 2020Updated 5 years ago
• dark-flames / yukino-dev

  View on GitHub
  A type-driven and high-performance ORM framework in Rust
  ☆31Jun 13, 2025Updated 9 months ago
• Glavo / kala-lang

  View on GitHub
  ☆12Aug 19, 2021Updated 4 years ago
• tonyxty / hStacks

  View on GitHub
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Oct 10, 2020Updated 5 years ago
• agda-web / agda-wasm-dist

  View on GitHub
  Distributions of Agda executable compiled into WebAssembly.
  ☆25Nov 9, 2025Updated 4 months ago
• sap-lang / sap-lang-archived

  View on GitHub
  Next-GEN Confguration Template Generation Language
  ☆12Jul 21, 2022Updated 3 years ago
• vonhyou / lisp-interpreter

  View on GitHub
  a minimal lisp interpreter written in ruby
  ☆11Apr 15, 2021Updated 4 years ago
• tydeu / lean4-partax

  View on GitHub
  Lean 4 library of tools for parsing and compiling syntax and parser definitions.
  ☆16Dec 10, 2023Updated 2 years ago
• libgdx / gdx-box2d-v2

  View on GitHub
  The libGDX Box2D Wrapper Extension
  ☆11May 12, 2023Updated 2 years ago
• JetBrains / kotlin-grammar-generator

  View on GitHub
  ☆13Feb 6, 2019Updated 7 years ago
• crlf0710 / repository-rs

  View on GitHub
  Repository of all kinds of entities.
  ☆14Oct 23, 2022Updated 3 years ago
• WAAutoMaton / Lemon

  View on GitHub
  为 OI 赛制设计的简易评测环境。
  ☆16Apr 21, 2019Updated 6 years ago
• PhotonQuantum / hithit_bot

  View on GitHub
  打打 bot
  ☆13Updated this week
• frelindb / agsyHOL

  View on GitHub
  ☆22May 19, 2016Updated 9 years ago
• konn / sdg-agda

  View on GitHub
  Synthetic Differential Geometry in Agda
  ☆13Jan 14, 2015Updated 11 years ago
• ncfavier / agda-stuff

  View on GitHub
  My Agda blog/lab/playground
  ☆12Mar 8, 2026Updated last week
• HMUniversity / Certificate

  View on GitHub
  HM University Certificate
  ☆13Jul 30, 2023Updated 2 years ago
• ralsei / six-eyes

  View on GitHub
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Jul 28, 2022Updated 3 years ago
• oscourse-tsinghua / OS2018spring-projects-g04

  View on GitHub
  http://os.cs.tsinghua.edu.cn/oscourse/OS2018spring/projects/g04
  ☆18Oct 10, 2018Updated 7 years ago
• Glavo / kala-template

  View on GitHub
  ☆11Sep 15, 2024Updated last year
• maxdore / csolver

  View on GitHub
  ☆16Aug 2, 2023Updated 2 years ago
• thautwarm / Fable.Sedlex

  View on GitHub
  get you an ultimate lexer generator using Fable; port OCaml sedlex to FSharp, Python and more!
  ☆16Aug 6, 2022Updated 3 years ago
• Seng-Jik / CloseGL

  View on GitHub
  A software renderer.
  ☆17Sep 4, 2021Updated 4 years ago
• mattia-furlan / MasterThesisCTT

  View on GitHub
  Haskell implementation of a version of cubical type theory developed for my master thesis
  ☆16Nov 19, 2022Updated 3 years ago
• LemonVM / LemonVM-V3

  View on GitHub
  第三次重构!
  ☆16Dec 22, 2020Updated 5 years ago
• memset0 / oi-archive-python

  View on GitHub
  Yet Another OI Archive Project Frontend
  ☆21Oct 9, 2019Updated 6 years ago
• MichaelSuen-thePointer / SimpleJSON

  View on GitHub
  A simple implementation of JSON.
  ☆19Feb 26, 2017Updated 9 years ago
• skyzh / rust-ycsb

  View on GitHub
  YCSB in Rust (WIP)
  ☆19May 18, 2021Updated 4 years ago
• RedPRL / agda-mugen

  View on GitHub
  A formalization of the theory behind the mugen library
  ☆19Jun 24, 2024Updated last year
• szumixie / stlc

  View on GitHub
  Simply-typed lambda calculus as a QIT in cubical Agda + normalization
  ☆15Jan 23, 2024Updated 2 years ago
• shanghai-edu / radius-1xtest

  View on GitHub
  ☆12Jul 3, 2018Updated 7 years ago
• RedPRL / kado

  View on GitHub
  🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
  ☆22Nov 20, 2025Updated 4 months ago
• AndrasKovacs / misc-stuff

  View on GitHub
  Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.
  ☆21Feb 17, 2023Updated 3 years ago
• nachivpn / k

  View on GitHub
  Meta-theory and normalization for Fitch-style modal lambda calculi
  ☆19May 27, 2024Updated last year
• dengtesla / acm

  View on GitHub
  ☆15Apr 6, 2019Updated 6 years ago
• iotang / oiQuotations

  View on GitHub
  Quotations for oi
  ☆37May 7, 2024Updated last year
• nomeata / lean-wf-induct

  View on GitHub
  ☆17Feb 20, 2024Updated 2 years ago
• Glavo / gjavah

  View on GitHub
  ☆19Jul 7, 2021Updated 4 years ago
• niltok / itp-ard

  View on GitHub
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Sep 7, 2022Updated 3 years ago