qnighy/ipc_solver 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

qnighy/ipc_solver

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/qnighy/ipc_solver)

Close

qnighy / ipc_solverView on GitHubMore

• External links
• Readme badge

O(N log N)-space IPC solver in OCaml

☆53Apr 4, 2023Updated 2 years ago

Alternatives and similar repositories for ipc_solver

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

• fetburner / type-infer

  View on GitHub
  A Formal Verification of Algorithm W
  ☆17Mar 10, 2021Updated 4 years ago
• kory33 / scala-proofs

  View on GitHub
  An attempt to build axiomatic, formal set theory on top of Scala.
  ☆37Dec 15, 2023Updated 2 years ago
• qnighy / logic-solver-rs

  View on GitHub
  ☆46Jan 9, 2023Updated 3 years ago
• qnighy / rbbardiche

  View on GitHub
  Ruby parser and LSP in Rust
  ☆20Jul 23, 2022Updated 3 years ago
• cannorin / nml

  View on GitHub
  Nazo ML - my toy programming language
  ☆59Aug 11, 2020Updated 5 years ago
• theoremoon / satysfi.ml

  View on GitHub
  ☆14Sep 2, 2021Updated 4 years ago
• ushitora-anqou / constexpr-nn

  View on GitHub
  constexpr is fun.
  ☆13Jun 17, 2018Updated 7 years ago
• xemime-lang / xemime

  View on GitHub
  The Xemime programming language
  ☆13Oct 13, 2020Updated 5 years ago
• 0918nobita / psyche-fs

  View on GitHub
  Programming language
  ☆13Dec 6, 2020Updated 5 years ago
• shoudai / bib-satysfi

  View on GitHub
  Citation in SATySFi like BibTeX
  ☆12Oct 5, 2019Updated 6 years ago
• mitsuchi / ron

  View on GitHub
  小さい計算体系をシンプルに定義できるような言語をつくりたい
  ☆17Nov 17, 2025Updated 3 months ago
• faber-lang / faber

  View on GitHub
  functional programming language and its compiler
  ☆18Oct 22, 2019Updated 6 years ago
• wtsnjp / texlive-ja

  View on GitHub
  Japanese translation for the "TeX Live Guide"
  ☆27Updated this week
• gfngfn / game_tianjiupai

  View on GitHub
  A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
  ☆16Oct 8, 2023Updated 2 years ago
• hppRC / kuon

  View on GitHub
  [WIP] Twitter Client Library written in Rust
  ☆50May 6, 2021Updated 4 years ago
• hikalium / compilium

  View on GitHub
  C compiler + hikalium
  ☆34Oct 24, 2020Updated 5 years ago
• RKX1209 / c3

  View on GitHub
  The C3, SMT/SAT solver written in C.
  ☆35Aug 10, 2025Updated 6 months ago
• fetburner / sumiilab-tex

  View on GitHub
  東北大学 住井研究室のステキな TeX ファイルたち
  ☆36Feb 18, 2021Updated 5 years ago
• kateinoigakukun / wasm-memprof

  View on GitHub
  A sampling-based heap memory profiler for WebAssembly on JavaScript engines.
  ☆14Nov 25, 2025Updated 3 months ago
• elipmoc / Ruscall

  View on GitHub
  自作言語処理系のコンパイラ制作
  ☆43Feb 23, 2019Updated 7 years ago
• sfja / sfja

  View on GitHub
  SoftwareFoundations(Ja)
  ☆70Oct 5, 2019Updated 6 years ago
• wtsnjp / MioGatto

  View on GitHub
  An annotation tool for grounding of formulae
  ☆24May 28, 2024Updated last year
• yabaitechtokyo / satysfi-derive

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

  View on GitHub
  Supplemental materials for the book entitled "Practical ML Programming with SML#"
  ☆10Jun 27, 2025Updated 8 months ago
• shin-k-h / microlisp

  View on GitHub
  A lisp interpreter
  ☆13Oct 1, 2020Updated 5 years ago
• susisu / est-ocaml

  View on GitHub
  A simple command line tool for statistical calculation
  ☆10May 12, 2018Updated 7 years ago
• raviqqe / lazy-ein

  View on GitHub
  JSON meets Haskell.
  ☆11Oct 22, 2020Updated 5 years ago
• arkedge / hubhook

  View on GitHub
  GitHub notification manager
  ☆23Jan 12, 2026Updated last month
• takoeight0821 / malgo

  View on GitHub
  A statically typed functional programming language.
  ☆46Feb 14, 2026Updated 2 weeks ago
• kgtkr / cl8w

  View on GitHub
  ☆22Dec 15, 2023Updated 2 years ago
• qnighy / umo

  View on GitHub
  A programming language (WIP)
  ☆29Jun 2, 2024Updated last year
• qnighy / lalrpop.vim

  View on GitHub
  LALRPOP Vim plugin with minimal syntax-highlighting functionality
  ☆16Dec 11, 2022Updated 3 years ago
• orangain / textlint-plugin-review

  View on GitHub
  textlint plugin to lint Re:VIEW documents
  ☆13Jan 5, 2023Updated 3 years ago
• nagaet / Garrigue-lecture-2018_AW

  View on GitHub
  ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)
  ☆13Feb 27, 2019Updated 7 years ago
• hanazuki / satysfi.el

  View on GitHub
  Emacs major mode for editing SATySFi documents
  ☆10Sep 6, 2019Updated 6 years ago
• takonomura / nasa.so

  View on GitHub
  なさそう
  ☆11Apr 30, 2024Updated last year
• lapisla-prover / lapisla-prover

  View on GitHub
  lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋
  ☆56Dec 15, 2025Updated 2 months ago
• twin-te / manaba-report-integration

  View on GitHub
  Manabaのレポート提出状況を外部サービスに同期します
  ☆15Oct 12, 2023Updated 2 years ago
• mm0202 / push-to-hatenablog

  View on GitHub
  GitHubとはてなブログの連携用環境。GitHubに記事の編集内容をプッシュするとはてなブログの記事も更新されます。
  ☆26Dec 15, 2022Updated 3 years ago