☆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
- complementary collection of useful functions and modules for SATySFi☆32Apr 7, 2024Updated 2 years ago
- ClojureScript Master Class☆17Sep 14, 2019Updated 7 years ago
- The Egison tutorial☆15Dec 18, 2021Updated 4 years ago
- Set of agent skills of Lean code generation for software development☆17Jul 6, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated last year
- ☆20May 3, 2026Updated 4 months ago
- ☆18Jul 13, 2026Updated 2 months 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
- ☆21Mar 11, 2026Updated 6 months ago
- SATySFi's package☆13Sep 11, 2019Updated 7 years ago
- rainbowBracket extension for CodeMirror6☆13Apr 21, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 久保先生の本「データ解析のための統計データモデリング」のRコードをpythonで。☆28Oct 21, 2013Updated 12 years ago
- First class patterns and pattern matching, using type families☆18Nov 6, 2020Updated 5 years ago
- Japanese translation of R7RS small spec☆17Mar 26, 2017Updated 9 years ago
- Converts raw cadence target data from the Kepler space telescope into astronomer-friendly FITS files.☆12Jan 24, 2019Updated 7 years ago
- Omicron Wiki☆18Jan 15, 2013Updated 13 years ago
- A Hobby implementation of ML☆16Dec 19, 2015Updated 10 years ago
- Mechanical designs for a contactless takeout barrier for sanitary delivery of goods from a store to a guest or delivery person.☆14Mar 25, 2020Updated 6 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☆23May 29, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Telecoding balloon trajectory realtime visualizer, simulator, log viewer☆11Mar 3, 2018Updated 8 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 3 months ago
- Read parquet format with Haskell☆18Oct 12, 2022Updated 3 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
- Emspect - EMoji inSPECTor☆15Apr 21, 2016Updated 10 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.
- Code written while working through the book LISP in Small Pieces☆27Feb 16, 2014Updated 12 years ago
- Elements of Group Theory☆16Oct 18, 2020Updated 5 years ago
- leo_object_storage is a log-structured object/BLOB storage.☆15Dec 9, 2025Updated 9 months ago
- 『増補改訂版 Java言語で学ぶデザインパターン入門』に掲載されているJavaのサンプルコードをC#に移植☆15Feb 24, 2019Updated 7 years ago
- An N-dimensional befunge interpreter☆15Feb 1, 2020Updated 6 years ago
- Interpreter of the ITGL with dynamic type inference☆22Feb 24, 2025Updated last year
- Elo ranking platform implemented in Clojure and re-frame☆19Oct 16, 2024Updated last year