☆17Apr 6, 2021Updated 4 years ago
Alternatives and similar repositories for math_pdf
Users that are interested in math_pdf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Jan 29, 2019Updated 7 years ago
- complementary collection of useful functions and modules for SATySFi☆32Apr 7, 2024Updated last year
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 7 years ago
- CodFS: An Erasure-Coded Clustered Storage System for Efficient Updates and Recovery☆10Mar 31, 2015Updated 10 years ago
- Clojure lens library, implements a small subset of ekmett's lens☆12Nov 29, 2018Updated 7 years ago
- 実装するリスト☆10Dec 21, 2017Updated 8 years ago
- Haskell bindings to lz4☆21Feb 16, 2026Updated last month
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- Steamer: presentation in SATySFi☆14May 9, 2019Updated 6 years ago
- x86 virtualization study notes using Intel VT-x☆22Jan 3, 2014Updated 12 years ago
- Erlang and Elixir supervisors restart strategies☆11Aug 3, 2017Updated 8 years ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Dec 25, 2014Updated 11 years ago
- ClojureScript Master Class☆17Sep 14, 2019Updated 6 years ago
- pyconjp☆12Oct 12, 2015Updated 10 years ago
- First class patterns and pattern matching, using type families☆18Nov 6, 2020Updated 5 years ago
- Haskell library for non-deterministic pattern matching☆17Dec 21, 2025Updated 3 months ago
- Be colorful! Be happy!. コレ（↓）をめっちゃカラフルにしたい. p.s. 色表示が大雑把になってる....☆19Sep 7, 2015Updated 10 years ago
- An API to access information at ribot☆12Apr 27, 2018Updated 7 years ago
- SATySFi's package☆13Sep 11, 2019Updated 6 years ago
- sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …☆16Mar 5, 2021Updated 5 years ago
- A React Hands-on resources for beginners☆12Oct 17, 2017Updated 8 years ago
- vm process virtual machine☆17Jun 11, 2018Updated 7 years ago
- A collection of work related to COVID-19☆10Jul 30, 2020Updated 5 years ago
- Example of integrating logback into the clojure.tools.logging library.☆19Feb 21, 2014Updated 12 years ago
- Omicron Wiki☆18Jan 15, 2013Updated 13 years ago
- A pattern match macro for chez-scheme☆19Mar 4, 2017Updated 9 years ago
- rainbowBracket extension for CodeMirror6☆12Apr 21, 2023Updated 2 years ago
- A Hobby implementation of ML☆16Dec 19, 2015Updated 10 years ago
- Japanese translation of R7RS small spec☆17Mar 26, 2017Updated 8 years ago
- Read parquet format with Haskell☆18Oct 12, 2022Updated 3 years ago
- 久保先生の本「データ解析のための統計データモデリング」のRコードをpythonで。☆28Oct 21, 2013Updated 12 years ago
- A string diagram generator for LaTeX.☆31Jun 27, 2023Updated 2 years ago
- Mechanizing Types and Programming Languages using Beluga☆21May 29, 2020Updated 5 years ago
- Vivaldi algorithm in Elixir☆16Feb 27, 2017Updated 9 years ago
- Emspect - EMoji inSPECTor☆15Apr 21, 2016Updated 9 years ago
- Elements of Group Theory☆16Oct 18, 2020Updated 5 years ago
- lightgbmのfeature-transform（特徴量の非線形化）をすることで、80,000を超える特徴量を線形回帰でも表現できることを示します☆10Nov 7, 2017Updated 8 years ago
- Erlang memcached binary protocol client☆47Aug 6, 2015Updated 10 years ago
- ☆12Aug 27, 2024Updated last year