Live Linux for Mathematical Software
☆19Dec 3, 2025Updated 6 months ago
Alternatives and similar repositories for mathlibre
Users that are interested in mathlibre are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GUI for tlmgr written in Scala☆28Sep 14, 2021Updated 4 years ago
- CodFS: An Erasure-Coded Clustered Storage System for Efficient Updates and Recovery☆10Mar 31, 2015Updated 11 years ago
- Haskell bindings to lz4☆21Feb 16, 2026Updated 3 months ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Feb 27, 2019Updated 7 years ago
- Javascript port of Chuck Moore's colorForth☆10Jan 7, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Haskell library for non-deterministic pattern matching☆19Dec 21, 2025Updated 5 months ago
- sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …☆16Mar 5, 2021Updated 5 years ago
- Pythonによる制御工学入門改訂２版☆13Aug 22, 2024Updated last year
- ☆59Mar 17, 2026Updated 2 months ago
- A pattern match macro for chez-scheme☆19Mar 4, 2017Updated 9 years ago
- A simple Rook cluster constructor for testing☆11May 17, 2026Updated 3 weeks ago
- Bot Framework Composer + QnA Maker で作る Q&A チャットボット ハンズオン☆10Aug 24, 2021Updated 4 years ago
- ローカルLLMの解説本のサンプル一式☆24May 22, 2026Updated 2 weeks ago
- ☆10Feb 27, 2023Updated 3 years 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.
- ☆18Apr 6, 2021Updated 5 years ago
- Read parquet format with Haskell☆18Oct 12, 2022Updated 3 years ago
- Emspect - EMoji inSPECTor☆15Apr 21, 2016Updated 10 years ago
- Taskwarrior git sync hooks☆13Apr 10, 2017Updated 9 years ago
- ☆19Jan 29, 2019Updated 7 years ago
- Elements of Group Theory☆16Oct 18, 2020Updated 5 years ago
- Erlang memcached binary protocol client☆48Aug 6, 2015Updated 10 years ago
- mikutterで、COVID-19（新型コロナウィルス）の感染者数などの最新情報を取得するプラグインです。☆13Mar 5, 2020Updated 6 years ago
- Interpreter of the ITGL with dynamic type inference☆22Feb 24, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Renders PlantUML diagrams for use with Pandoc☆12Feb 4, 2021Updated 5 years ago
- A conda-smithy repository for ctng-compilers.☆15May 15, 2026Updated 3 weeks ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- Interactive Scheme Primer, written in Scheme.☆22Jun 9, 2025Updated last year
- hello world written in GNU linker script☆13Feb 8, 2021Updated 5 years ago
- A pLaTeX cheat sheet☆16Aug 28, 2019Updated 6 years ago
- Describe stencil formurae without even translating them☆16Aug 19, 2019Updated 6 years ago
- mikutter TweetDeck plugin☆12Aug 26, 2018Updated 7 years ago
- ☆15Sep 5, 2022Updated 3 years 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.
- CNN in APL☆21Aug 19, 2022Updated 3 years ago
- any docs☆17Jan 1, 2020Updated 6 years ago
- Jacobi Model & Gauss Seidel Model & Successive Over Relaxation☆10Jan 5, 2020Updated 6 years ago
- Fast Capacitive Sensor Library☆15Dec 11, 2023Updated 2 years ago
- Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce.☆17Mar 27, 2022Updated 4 years ago
- Egison-like pattern-matching library for Common Lisp☆22May 15, 2015Updated 11 years ago
- Small Chrome extension that allows you to jump to HoloTools website carrying over currently watching video.☆12Apr 21, 2020Updated 6 years ago