Alternatives and similar repositories for Jikka

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

• noshi91 / algorithm-encyclopedia

  View on GitHub
  ☆79Apr 28, 2023Updated 2 years ago
• comp-prog-jp-library-standard / competitive-programming-library

  View on GitHub
  競技プログラミング用共通ライブラリ
  ☆46Nov 25, 2022Updated 3 years ago
• niuez / Niu

  View on GitHub
  Language for libraries used in competition programming
  ☆43Feb 13, 2022Updated 4 years ago
• AumyF / dotstingray

  View on GitHub
  Highly-customizable dotfiles manager
  ☆14Feb 19, 2023Updated 2 years ago
• yabaitechtokyo / satysfi-derive

  View on GitHub
  SATySFi commands and DSL for displaying derivation trees with maintainable code
  ☆11Jan 2, 2021Updated 5 years ago
• kenkoooo / AtCoderProblems

  View on GitHub
  Extend your AtCoder
  ☆1,568Jul 27, 2024Updated last year
• lapisla-prover / lapisla-prover

  View on GitHub
  lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋
  ☆55Dec 15, 2025Updated 2 months ago
• ushitora-anqou / write-your-llvm-backend

  View on GitHub
  手を動かせばできるLLVMバックエンド チュートリアル（WIP）
  ☆43May 12, 2022Updated 3 years ago
• noshi91 / NoshiMochiLibrary

  View on GitHub
  ☆21Feb 10, 2019Updated 7 years ago
• amutake / docker-satysfi

  View on GitHub
  Docker images for SATySFi and Satyrographos
  ☆26Dec 11, 2025Updated 2 months ago
• online-judge-tools / oj

  View on GitHub
  Tools for various online judges. Downloading sample cases, generating additional test cases, testing your code, and submitting it.
  ☆1,133May 3, 2024Updated last year
• kgtkr / cl8w

  View on GitHub
  ☆22Dec 15, 2023Updated 2 years ago
• kenkoooo / optpy

  View on GitHub
  optpy is a transpiler to generate a Rust file from a Python file
  ☆25Dec 15, 2022Updated 3 years ago
• beet-aizu / library

  View on GitHub
  Competitive Programming Library
  ☆129May 5, 2023Updated 2 years ago
• gfngfn / SATySFi

  View on GitHub
  A statically-typed, functional typesetting system
  ☆1,241Dec 15, 2025Updated 2 months ago
• rust-lang-ja / ac-library-rs

  View on GitHub
  ac-library-rs is a rust port of AtCoder Library (ACL).
  ☆260Dec 7, 2025Updated 2 months ago
• to-omer / competitive-library

  View on GitHub
  competitive programming library
  ☆10Updated this week
• kb10uy / sk2aac

  View on GitHub
  Convert Blender's "Shape Keys" information into "Animator As Code" code.
  ☆11Oct 2, 2022Updated 3 years ago
• mandel59 / erq

  View on GitHub
  Erq - Easy Relational Query Language
  ☆12Nov 12, 2025Updated 3 months ago
• sozysozbot / 2kmcc

  View on GitHub
  ☆30Feb 26, 2023Updated 2 years ago
• sanposhiho / thank-you-stars

  View on GitHub
  Give your dependencies stars on GitHub! 🌟
  ☆18May 1, 2021Updated 4 years ago
• chroju / nature-remo-cli

  View on GitHub
  Unofficial command line Interface for Nature Remo
  ☆16Feb 25, 2023Updated 2 years ago
• drken1215 / algorithm

  View on GitHub
  Implementation of various algorithms
  ☆271Updated this week
• hakatashi / atcoder-auto-submitter

  View on GitHub
  Fully-automated AtCoder submitter backed by OpenAI Codex.
  ☆19Jun 14, 2024Updated last year
• Ryoga-exe / Sigmabeat2

  View on GitHub
  Rhythm Game made with OpenSiv3D
  ☆20Aug 18, 2022Updated 3 years ago
• ntddk / angr-doc-ja

  View on GitHub
  ☆10Oct 30, 2016Updated 9 years ago
• orumin / wb

  View on GitHub
  Wizard Bible archive
  ☆12Apr 16, 2018Updated 7 years ago
• kuretchi / papirs

  View on GitHub
  A simple whiteboard.
  ☆11Nov 11, 2021Updated 4 years ago
• nanikamado / cotton

  View on GitHub
  A programming language
  ☆70Nov 27, 2023Updated 2 years ago
• UMASHIBA1 / violet

  View on GitHub
  This is web browser for studying.
  ☆14Nov 3, 2021Updated 4 years ago
• seccamp2018-tls13 / seccamp2018-tls13

  View on GitHub
  XII : TLS1.3/暗号ゼミ [全国大会2018-集中開発コース]
  ☆16Dec 22, 2018Updated 7 years ago
• colun / mmlang

  View on GitHub
  Competitive Programming Language MM
  ☆24Sep 21, 2024Updated last year
• LumaKernel / ddc-tabnine

  View on GitHub
  TabNine Completion for ddc.vim. This source collects candidates from TabNine.
  ☆23Jan 15, 2024Updated 2 years ago
• qnighy / satysfi.vim

  View on GitHub
  Vim syntax plugin for SATySFi typesetting system
  ☆33Sep 17, 2021Updated 4 years ago
• monaqa / satysfi-language-server

  View on GitHub
  The SATySFi Language Server
  ☆67Feb 1, 2023Updated 3 years ago
• cannorin / nml

  View on GitHub
  Nazo ML - my toy programming language
  ☆59Aug 11, 2020Updated 5 years ago
• noshi91 / Library

  View on GitHub
  競技プログラミング
  ☆39Feb 26, 2023Updated 2 years ago
• qnighy / umo

  View on GitHub
  A programming language (WIP)
  ☆29Jun 2, 2024Updated last year
• monaqa / slydifi

  View on GitHub
  Create a slide with SATySFi!
  ☆56Dec 16, 2022Updated 3 years ago