Alternatives and similar repositories for BOJ-PS

Users that are interested in BOJ-PS are comparing it to the libraries listed below

• bam-e22 / BOJ

  View on GitHub
  PS Roadmap
  ☆45Nov 20, 2018Updated 7 years ago
• Startlink / BOJ-spj

  View on GitHub
  BOJ 스페셜 저지를 만들어 봅시다
  ☆32Jan 2, 2021Updated 5 years ago
• rtgiskard / bibata_cursor

  View on GitHub
  Bibata Cursor, with support for hyprcursor and Xcursor
  ☆19Jan 28, 2025Updated last year
• bluesignum / Audio-SentenceSplit

  View on GitHub
  With one whole audio and corresponding text, the audio can be split line by line and saved with exact sentence using comparison with the …
  ☆10Feb 28, 2019Updated 6 years ago
• tomtomjhj / vsrocq.nvim

  View on GitHub
  A Neovim client for VsCoq 2 vscoqtop.
  ☆11Nov 8, 2025Updated 3 months ago
• cool-mist / math_is_beautiful

  View on GitHub
  Collection of interesting patterns, inspired by nature, powered by p5js
  ☆10Jun 2, 2018Updated 7 years ago
• tsiemens / vim-aftercolors

  View on GitHub
  Provides support for after/colors/ scripts (Mirrors Peter Hodge's AfterColors.vim on vim.org)
  ☆11May 7, 2017Updated 8 years ago
• JadenGeller / Calcula

  View on GitHub
  Swift lambda calculus functions supporting intensional equality
  ☆12Jun 19, 2016Updated 9 years ago
• hinohie / eye_maker

  View on GitHub
  Make your character's eye flickering
  ☆13Jun 14, 2016Updated 9 years ago
• inparallel / pusherpp

  View on GitHub
  Pusher Server Library in C++
  ☆15Aug 2, 2017Updated 8 years ago
• ENvironmentSet / overcurried

  View on GitHub
  Personal blog of ENvironmentSet based on oversomething.
  ☆14Oct 29, 2024Updated last year
• aheui / caheui

  View on GitHub
  aheui in C
  ☆14Jan 9, 2018Updated 8 years ago
• inc-lc / ilc-agda

  View on GitHub
  Machine-checked Agda formalization for the ILC project
  ☆15Apr 6, 2018Updated 7 years ago
• agarwal / ppx_basic_demo

  View on GitHub
  Basic demo of OCaml's PPX feature.
  ☆10Mar 22, 2015Updated 10 years ago
• YiHoze / texwrapper

  View on GitHub
  Wrapper scripts to make documentation easier
  ☆13Jan 27, 2026Updated 2 weeks ago
• YiHoze / HzGuide

  View on GitHub
  latex class for manuals
  ☆11Sep 10, 2024Updated last year
• Zeta611 / polycalc

  View on GitHub
  🧮 Polynomial Calculator
  ☆12Jan 3, 2023Updated 3 years ago
• hongseok-yang / logic24

  View on GitHub
  ☆12May 30, 2024Updated last year
• codex-semantics-library / patricia-tree

  View on GitHub
  Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys
  ☆16Jan 19, 2026Updated 3 weeks ago
• bagyoni / procedural-wallpapers

  View on GitHub
  A collection of wallpaper generators
  ☆14Sep 16, 2018Updated 7 years ago
• janestreet / handled_effect

  View on GitHub
  Typed effects API for OxCaml
  ☆20Jan 15, 2026Updated 3 weeks ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• mokus0 / polynomial

  View on GitHub
  Haskell library for manipulating and evaluating polynomials
  ☆20Feb 24, 2022Updated 3 years ago
• aciidgh / SwiftDoc.vim

  View on GitHub
  Vim plugin to generate markup for swift functions
  ☆12Jun 8, 2016Updated 9 years ago
• Zeta611 / simplebnf.typ

  View on GitHub
  A simple package to format Backus-Naur form
  ☆14Updated this week
• yhs0602 / Kovik

  View on GitHub
  Dalvik emulator written in Kotlin, highly inspired by Katalina
  ☆13Nov 11, 2024Updated last year
• metaborg / mj.agda

  View on GitHub
  https://metaborg.github.io/mj.agda/
  ☆13Oct 14, 2020Updated 5 years ago
• Startlink / update-note

  View on GitHub
  Startlink Update Note
  ☆10Mar 6, 2022Updated 3 years ago
• Startlink / BOJ-Feature-Request

  View on GitHub
  BOJ 기능 추가 요청
  ☆10Feb 23, 2022Updated 3 years ago
• prosyslab-classroom / hardcore-ocaml

  View on GitHub
  ☆16Apr 15, 2025Updated 9 months ago
• zoomlogo / vim-apl

  View on GitHub
  ☆11Mar 6, 2023Updated 2 years ago
• kevincfz / scheme

  View on GitHub
  A Scheme interpreter in Python
  ☆14Jul 7, 2014Updated 11 years ago
• janestreet / ppx_js_style

  View on GitHub
  Code style checker for Jane Street Packages
  ☆21Jan 15, 2026Updated 3 weeks ago
• egraphs-good / egraph-serialize

  View on GitHub
  egraph <-> json
  ☆16Dec 29, 2025Updated last month
• Zeta611 / golpy

  View on GitHub
  Efficient Conway's Game of Life implemented in Python using NumPy.
  ☆14May 1, 2024Updated last year
• Karumi / MarvelApiClient

  View on GitHub
  Marvel Api Client written in Swift.
  ☆14Sep 17, 2019Updated 6 years ago
• cuplv / raz.ocaml

  View on GitHub
  Random Access Zipper in OCaml
  ☆14Dec 8, 2016Updated 9 years ago
• snu-sf-class / pl2016

  View on GitHub
  ☆14Jun 13, 2016Updated 9 years ago
• csehydrogen / algorithm

  View on GitHub
  for icpc
  ☆12Aug 25, 2020Updated 5 years ago