Alternatives and similar repositories for anti-indulged-intellij

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

• 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
• dark-flames / yukino-dev

  View on GitHub
  A type-driven and high-performance ORM framework in Rust
  ☆31Jun 13, 2025Updated 8 months ago
• trackoor / Chi

  View on GitHub
  🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
  ☆16Jul 13, 2020Updated 5 years ago
• agda-web / agda-wasm-dist

  View on GitHub
  Distributions of Agda executable compiled into WebAssembly.
  ☆25Nov 9, 2025Updated 3 months ago
• oi-archive / source

  View on GitHub
  OI-Archive 主数据集
  ☆18Nov 11, 2020Updated 5 years ago
• maxdore / csolver

  View on GitHub
  ☆16Aug 2, 2023Updated 2 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
• sap-lang / sap-lang-archived

  View on GitHub
  Next-GEN Confguration Template Generation Language
  ☆12Jul 21, 2022Updated 3 years ago
• ncfavier / agda-stuff

  View on GitHub
  My Agda blog/lab/playground
  ☆12Updated this week
• b1f6c1c4 / c

  View on GitHub
  c for cook: 根据食材列表自动推荐菜谱
  ☆11Mar 4, 2021Updated 4 years ago
• libgdx / gdx-box2d-v2

  View on GitHub
  The libGDX Box2D Wrapper Extension
  ☆11May 12, 2023Updated 2 years ago
• rudymatela / express

  View on GitHub
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Jan 30, 2025Updated last year
• konn / sdg-agda

  View on GitHub
  Synthetic Differential Geometry in Agda
  ☆13Jan 14, 2015Updated 11 years ago
• peterlefanulumsdaine / cartmell-thesis

  View on GitHub
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆17Jan 6, 2026Updated last month
• Glavo / kala-template

  View on GitHub
  ☆11Sep 15, 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
• 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
• 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
• JetBrains / kotlin-grammar-generator

  View on GitHub
  ☆13Feb 6, 2019Updated 7 years ago
• vonhyou / lisp-interpreter

  View on GitHub
  a minimal lisp interpreter written in ruby
  ☆11Apr 15, 2021Updated 4 years ago
• crlf0710 / repository-rs

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

  View on GitHub
  打打 bot
  ☆14Updated this week
• LemonVM / LemonVM-V3

  View on GitHub
  第三次重构!
  ☆16Dec 22, 2020Updated 5 years ago
• niltok / itp-ard

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

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

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

  View on GitHub
  Euclidean plane and its relatives; a minimalist introduction.
  ☆19Dec 19, 2025Updated last month
• AndrasKovacs / misc-stuff

  View on GitHub
  Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.
  ☆21Feb 17, 2023Updated 3 years ago
• nomeata / lean-wf-induct

  View on GitHub
  ☆17Feb 20, 2024Updated last year
• oscourse-tsinghua / OS2018spring-projects-g04

  View on GitHub
  http://os.cs.tsinghua.edu.cn/oscourse/OS2018spring/projects/g04
  ☆18Oct 10, 2018Updated 7 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
• RobertHarper / pl-syntax

  View on GitHub
  PL syntax macros.
  ☆21Nov 30, 2025Updated 2 months ago
• idris-community / katla

  View on GitHub
  ☆21May 19, 2025Updated 8 months ago
• Glavo / gjavah

  View on GitHub
  ☆20Jul 7, 2021Updated 4 years ago
• RedPRL / kado

  View on GitHub
  🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
  ☆22Nov 20, 2025Updated 2 months ago
• Guest0x0 / normalization-bench

  View on GitHub
  Benchmarking various normalization algorithms for the lambda calculus
  ☆48Sep 1, 2022Updated 3 years ago
• bobatkey / system-f-parametricity-model

  View on GitHub
  A Model of Relationally Parametric System F in Coq
  ☆22May 27, 2015Updated 10 years ago