TRCYX / py_monad_doView external linksLinks
Do notation in Python.
☆10Feb 22, 2021Updated 4 years ago
Alternatives and similar repositories for py_monad_do
Users that are interested in py_monad_do are comparing it to the libraries listed below
Sorting:
- ☆12Mar 13, 2025Updated 11 months ago
- Competitive programming utilities in Haskell☆42Jan 11, 2026Updated last month
- Vim style editor written in Racket☆14May 31, 2020Updated 5 years ago
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 2 months ago
- ☆14Oct 12, 2025Updated 4 months ago
- Haskell charting library☆10Aug 21, 2021Updated 4 years ago
- [ACL 2023] Code and data for our paper "Measuring Progress in Fine-grained Vision-and-Language Understanding"☆13Jun 11, 2023Updated 2 years ago
- this is not a working lens library☆11Nov 30, 2022Updated 3 years ago
- A GitHub Action that mirrors all commits to GitLab, triggers GitLab CI, and returns the results back to GitHub.☆14Dec 8, 2025Updated 2 months ago
- Some functions to plot OpenFOAM data with Matplotlib☆11Apr 15, 2021Updated 4 years ago
- CaΣoS is a nonlinear sum-of-squares optimization suite based on the symbolic framework of CasADi.☆17Feb 3, 2026Updated last week
- Port of Android Notepad tutorial to Mirah☆14Nov 27, 2025Updated 2 months ago
- SciCat Data Catalogue Backend☆13Jun 15, 2023Updated 2 years ago
- Python library to convert dictionaries into valid XML. Supports namespaces.☆12Aug 31, 2020Updated 5 years ago
- minecraft beta proxy · no longer maintained☆27Apr 6, 2011Updated 14 years ago
- Automatically compile and link C programs☆16Jul 24, 2010Updated 15 years ago
- Haskell Diagrams for Penrose Kite and Dart non-periodic tilings☆16Feb 6, 2026Updated last week
- ☆12Jun 22, 2023Updated 2 years ago
- ☆12Jun 19, 2025Updated 7 months ago
- InvenioRDM Product Roadmap☆13Apr 12, 2024Updated last year
- Repository for samples, reactions and related research data☆17Feb 7, 2026Updated last week
- ☆14Feb 28, 2025Updated 11 months ago
- Proof-of-concept, mostly safe multimethods in Racket☆12Sep 9, 2020Updated 5 years ago
- An experiment in declaratively programming parallel pipelines of state machines.☆18Mar 20, 2023Updated 2 years ago
- Bloch sphere simulator☆12Jan 24, 2021Updated 5 years ago
- ☆17Jul 24, 2025Updated 6 months ago
- C++ Club☆16Feb 2, 2026Updated last week
- Concurrent-C to Rust Automatic Translator☆15Jan 26, 2023Updated 3 years ago
- Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation☆17Jun 11, 2024Updated last year
- being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde☆13May 9, 2017Updated 8 years ago
- The metadata-aware mailbox and structured submission interface for research data submission.☆18Feb 6, 2023Updated 3 years ago
- Post-processing toolkit for electronic structure calculations☆18Dec 1, 2025Updated 2 months ago
- This is a Haskell binding to Geos, the open-source geometry library☆13Sep 5, 2021Updated 4 years ago
- Purescript frontend scaffolder☆15Nov 27, 2022Updated 3 years ago
- Basic template to start your Python research software development☆25Jan 26, 2026Updated 2 weeks ago
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 3 years ago
- Archive of the git branches attached to tickets on https://trac.sagemath.org/ before the migration to GitHub (Jan 30, 2023)☆11Jan 30, 2023Updated 3 years ago
- Render LaTeX math to SVG mages☆18Mar 25, 2024Updated last year
- 一个基于树莓派 的语音识别的功能，运用百度语音进行声音转中文的识别与合成，智能对话使用图灵机器人，使用用arecord进行录音。☆14Jun 12, 2017Updated 8 years ago