Alternatives and similar repositories for category-seminar

Users that are interested in category-seminar are comparing it to the libraries listed below

• nineties / prml-seminar

  View on GitHub
  ☆19Jun 20, 2018Updated 7 years ago
• nineties / math-seminar

  View on GitHub
  ☆25Nov 8, 2019Updated 6 years ago
• shinchoku-tairiku / shinchoku-tairiku.satyh

  View on GitHub
  進捗大陸で使用されたSATySFiファイル
  ☆12May 22, 2023Updated 2 years ago
• stz2012 / recfsusb2n

  View on GitHub
  KTV-FSUSB2/FSPCIEをLinuxで使う為の録画ツール（STZ版）
  ☆11Mar 24, 2016Updated 9 years ago
• nagaet / Garrigue-lecture-2018_AW

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

  View on GitHub
  Programs for checking the ρ property
  ☆17Feb 28, 2021Updated 4 years ago
• konn / satysfi-steamer

  View on GitHub
  Steamer: presentation in SATySFi
  ☆14May 9, 2019Updated 6 years ago
• yutopp / obeam

  View on GitHub
  [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.
  ☆16Aug 27, 2019Updated 6 years ago
• sozysozbot / 2kmcc

  View on GitHub
  ☆30Feb 26, 2023Updated 2 years ago
• S-H-GAMELINKS / Novel.Game.Engine.LINKS

  View on GitHub
  ノベルゲームエンジン「LINKS」
  ☆14Jan 9, 2018Updated 8 years ago
• ekmett / rcu

  View on GitHub
  experimenting with STM-backed read-copy-update in Haskell
  ☆18Oct 19, 2025Updated 3 months ago
• scalapb / Lenses

  View on GitHub
  Tiny lenses library with focus on ease of use.
  ☆20May 29, 2018Updated 7 years ago
• PFLab-OS / Raph_Kernel

  View on GitHub
  ☆38Apr 29, 2018Updated 7 years ago
• icicle-lang / p-ambiata

  View on GitHub
  The prelude.
  ☆16Apr 3, 2019Updated 6 years ago
• gakuzzzz / free-scalikejdbc

  View on GitHub
  ScalikeJDBC DSL by Free Monad
  ☆15Oct 2, 2016Updated 9 years ago
• matsubara0507 / git-plantation

  View on GitHub
  mixi git challenge の新しい採点システム
  ☆18Jul 6, 2023Updated 2 years ago
• bgamari / monoidal-containers

  View on GitHub
  Maps using values' monoidal structure during merging
  ☆42Jan 28, 2026Updated 2 weeks ago
• atzeus / reflectionwithoutremorse

  View on GitHub
  Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection
  ☆66Oct 4, 2021Updated 4 years ago
• ShinyaKato / thompson_hack

  View on GitHub
  ☆41Aug 20, 2018Updated 7 years ago
• amcphail / plot

  View on GitHub
  Plot package similar to gnuplot
  ☆23Mar 26, 2024Updated last year
• k16shikano / markdown-tex

  View on GitHub
  markdown processor in TeX
  ☆19May 13, 2021Updated 4 years ago
• musaprg / runzigc

  View on GitHub
  ☆18Dec 15, 2023Updated 2 years ago
• macro-peg / macro_peg

  View on GitHub
  Macro PEG: PEG with macro-like rules
  ☆17Sep 17, 2025Updated 4 months ago
• tfausak / lackey

  View on GitHub
  A Haskell library for generating Ruby consumers of Servant APIs.
  ☆23Jan 14, 2026Updated last month
• fumieval / extensible

  View on GitHub
  Extensible records, variants, structs, effects, tangles
  ☆131Jun 26, 2025Updated 7 months ago
• na4zagin3 / satyrographos

  View on GitHub
  Package manager for SATySFi
  ☆48Sep 25, 2023Updated 2 years ago
• himura / persistent-relational-record

  View on GitHub
  Persistent adapter for Haskell Relational Record
  ☆20Mar 30, 2023Updated 2 years ago
• koba-e964 / min-caml-rust

  View on GitHub
  A min-caml port to Rust
  ☆26Feb 8, 2025Updated last year
• non / cats-check

  View on GitHub
  Cats instances for ScalaCheck data types
  ☆18Nov 21, 2016Updated 9 years ago
• bfops / open-union

  View on GitHub
  Type-safe open unions in Haskell
  ☆32Apr 20, 2018Updated 7 years ago
• YouyouCong / ppl-summer-school-2022

  View on GitHub
  ☆26Sep 29, 2022Updated 3 years ago
• icicle-lang / disorder.hs-ambiata

  View on GitHub
  QuickCheck extras.
  ☆29Jun 23, 2019Updated 6 years ago
• nyuichi / satysfi-base

  View on GitHub
  complementary collection of useful functions and modules for SATySFi
  ☆32Apr 7, 2024Updated last year
• nushio3 / formura

  View on GitHub
  Describe stencil formurae without even translating them
  ☆59Mar 2, 2017Updated 8 years ago
• rust-lang-ja / trpl-ja-pdf

  View on GitHub
  日本語版TRPLのPDF
  ☆25Dec 31, 2017Updated 8 years ago
• uemurax / hott-ja

  View on GitHub
  HoTT in Japanese
  ☆36Oct 1, 2023Updated 2 years ago
• fumieval / monad-skeleton

  View on GitHub
  Operational monad library
  ☆30Nov 30, 2021Updated 4 years ago
• shiatsumat / wiwinwlh-jp

  View on GitHub
  What I Wish I Knew When Learning Haskell 日本語訳
  ☆118Jul 23, 2016Updated 9 years ago
• fumieval / objective

  View on GitHub
  Purely functional objects
  ☆73Oct 27, 2021Updated 4 years ago