☆18Apr 6, 2021Updated 5 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
- A consistent hashing library application☆18Dec 14, 2012Updated 13 years ago
- complementary collection of useful functions and modules for SATySFi☆32Apr 7, 2024Updated 2 years ago
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 8 years ago
- 実装するリスト☆10Dec 21, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- CodFS: An Erasure-Coded Clustered Storage System for Efficient Updates and Recovery☆10Mar 31, 2015Updated 11 years ago
- ClojureScript Master Class☆17Sep 14, 2019Updated 7 years ago
- Steamer: presentation in SATySFi☆14May 9, 2019Updated 7 years ago
- Erlang and Elixir supervisors restart strategies☆12Aug 3, 2017Updated 9 years ago
- x86 virtualization study notes using Intel VT-x☆21Jan 3, 2014Updated 12 years ago
- A collection of work related to COVID-19☆10Jul 30, 2020Updated 6 years ago
- Arc compatible package☆15Nov 24, 2023Updated 2 years ago
- A React Hands-on resources for beginners☆12Oct 17, 2017Updated 8 years ago
- rainbowBracket extension for CodeMirror6☆13Apr 21, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- First class patterns and pattern matching, using type families☆18Nov 6, 2020Updated 5 years ago
- lightgbmのfeature-transform（特徴量の非線形化）をすることで、80,000を超える特徴量を線形回帰でも表現できることを示します☆10Nov 7, 2017Updated 8 years ago
- Generate documentation for Erlang projects in the format of erldocs.com☆59Jul 20, 2020Updated 6 years ago
- Mechanizing Types and Programming Languages using Beluga☆24May 29, 2020Updated 6 years ago
- 『分散システムデザインパターン』サンプルコードと設定ファイル☆11Apr 19, 2019Updated 7 years ago
- A pattern match macro for chez-scheme☆19Mar 4, 2017Updated 9 years ago
- Import data into postgres quickly from Clojure☆21Mar 23, 2025Updated last year
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆18Jul 16, 2026Updated 2 months ago
- A string diagram generator for LaTeX.☆32May 28, 2026Updated 4 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Read parquet format with Haskell☆18Oct 12, 2022Updated 4 years ago
- ☆10Jun 12, 2015Updated 11 years ago
- Providing PULSE instrumentable versions of Erlang OTP components☆15Aug 27, 2012Updated 14 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Aug 1, 2024Updated 2 years ago
- Code written while working through the book LISP in Small Pieces☆27Feb 16, 2014Updated 12 years ago
- leo_object_storage is a log-structured object/BLOB storage.☆15Dec 9, 2025Updated 10 months ago
- 『増補改訂版 Java言語で学ぶデザインパターン入門』に掲載されているJavaのサンプルコードをC#に移植☆15Feb 24, 2019Updated 7 years ago
- Interpreter of the ITGL with dynamic type inference☆22Feb 24, 2025Updated last year
- sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …☆16Mar 5, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Interactive Scheme Primer, written in Scheme.☆22Jun 9, 2025Updated last year
- EQC tests for maps☆14May 17, 2018Updated 8 years ago
- my slides and demo for beijing elixir meetup 05/16/2020☆18Mar 28, 2023Updated 3 years ago
- ☆15Jan 8, 2014Updated 12 years ago
- An Erlang binding to libdbus☆13Jul 20, 2022Updated 4 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- 要件文から画面UI定義書とHTMLモックをAIで生成するオープンソースプロジェクト☆20Sep 7, 2026Updated last month