introduction to category theory in scalajp
☆48Mar 22, 2012Updated 13 years ago
Alternatives and similar repositories for introduction-to-category-theory-in-scala-jp
Users that are interested in introduction-to-category-theory-in-scala-jp are comparing it to the libraries listed below
Sorting:
- Play2 + Slick / ScalikeJDBCを使ってWebアプリケーションを作成するハンズオンです。☆179Mar 23, 2023Updated 2 years ago
- Black-box optimizer submitted to BBO challenge at NeurIPS 2020☆14Dec 10, 2020Updated 5 years ago
- Math textbook. Trial for social textbook writing.☆21Feb 8, 2015Updated 11 years ago
- ScalikeJDBC DSL by Free Monad☆15Oct 2, 2016Updated 9 years ago
- ☆17Feb 25, 2026Updated last week
- S99の解答例☆48Feb 27, 2026Updated last week
- 言語処理100本ノック 2015 (http://www.cl.ecei.tohoku.ac.jp/nlp100/) in Scala☆24Sep 30, 2016Updated 9 years ago
- ☆30Feb 12, 2012Updated 14 years ago
- Scala Library for Domain Driven-Design☆106Dec 10, 2019Updated 6 years ago
- Japan Scala Users Group Github Page☆44Jan 3, 2022Updated 4 years ago
- ScalikeJDBC Cookbook☆130Jan 11, 2021Updated 5 years ago
- ☆30Nov 9, 2015Updated 10 years ago
- Scalaですから☆30Feb 16, 2026Updated 3 weeks ago
- Scala学習用テキスト☆492Updated this week
- Scala+DDDのサンプルとしての実装☆257Dec 15, 2023Updated 2 years ago
- The calculator of the Japanese holiday in Scala☆45Nov 18, 2024Updated last year
- Play Framework Documentation Japanese Translation☆62Feb 20, 2022Updated 4 years ago
- Super easy REST API framework for Scala☆67Jul 17, 2019Updated 6 years ago
- private repository checkout action via github apps☆11Dec 28, 2022Updated 3 years ago
- A Scala library for locality sensitive hashing☆14Aug 1, 2018Updated 7 years ago
- Stochastic Kronecker Generation in Python, Used in RPI TRUST☆10Dec 13, 2017Updated 8 years ago
- The SOLAR blackbox optimization problem☆16Sep 24, 2025Updated 5 months ago
- scala-ddd-base provides traits to support for ddd repositories and aggregates.☆44Dec 15, 2023Updated 2 years ago
- Twitter's Effective Scala Guide(日本語訳)☆19Feb 23, 2014Updated 12 years ago
- 二重振り子シミュレーション☆41May 22, 2017Updated 8 years ago
- fzf-like fuzzy finder tool but view search results on browser.☆45Mar 1, 2023Updated 3 years ago
- Fork of Microsoft/LightGBM to include support for the CEGB (Cost Efficient Gradient Boosting) algorithm. Original repository at https://g…☆13Jun 30, 2017Updated 8 years ago
- Digital Design with Chisel☆10Dec 2, 2021Updated 4 years ago
- The companion code to the paper "Model-based Causal Bayesian Optimization"☆11Nov 16, 2022Updated 3 years ago
- 「すごいHaskell楽しく学ぼう!」の社内勉強会のために作成した、章末ごとの演習問題集です。☆40Jun 29, 2015Updated 10 years ago
- ☆11Dec 15, 2023Updated 2 years ago
- Implementation of Top-K PLL (AAAI '15)☆11Sep 1, 2015Updated 10 years ago
- zero cost Apply/Applicative syntax☆13Mar 2, 2026Updated last week
- Command-line interface to TWINS☆10Apr 14, 2017Updated 8 years ago
- p5.gvm.js is a library for p5.js that allows you to easily create generative video with rhythm.☆12Jun 23, 2025Updated 8 months ago
- movie to animation gif converter☆61Feb 18, 2013Updated 13 years ago
- Code that accompanies the paper Guided Deep Kernel Learning☆10Jul 2, 2023Updated 2 years ago
- ☆11Dec 19, 2023Updated 2 years ago
- [NeurIPS 2022] disentanglement evaluation robust to model dimension variance.☆10Sep 21, 2022Updated 3 years ago